vital.vimのData.Optionalのメリットとは？
解決済
回答 2
投稿
- 評価
- クリップ 0
- VIEW 1,386
vim-jp/vital.vimというvimプラグイン開発者向けのUtilライブラリがあります。
こちらにData.Optionというライブラリがあるのですが、いまいちメリット分かりません。
テストコードとヘルプを見て調べていました。
ヘルプには下記の概要とサンプルコードがあります。
*Vital.Data.Optional* represents an optional value. An optional value can be a
valid state (some) or invalid state (none). This is like a Maybe in Haskell,
Option in Scala, std::optional in C++ and so on. An optional value is usually
used as a result of process which may cause an error or as a cache of some
results.
Vim script doesn't have a way to treat a value which may be invalid. Goal of
this library is to provide the way to treat an optional value in a good way.
The implementation of optional value is a |List|. Empty list means an invalid
value and 1-element list means a valid value. So, some functions for |List|
like |empty()| or |map()| or |filter()| and so on are also available for an
optional value.let s:cache = O.none()
function! GetData()
if O.exists(s:cache)
return O.get(s:cache)
endif
let data = DoHeavyProcess()
let s:cache = O.some(data)
return data
endif s:cacheでは何か問題があるのでしょうか？
どんな値でも真理値にするという目的があるのかなと思いましたが、どんな値でもtrue/falseとして解釈できるのではと思いました。
どなたか解説をして頂きたいです。
よろしくお願い致します。
-
気になる質問をクリップする
クリップした質問は、後からいつでもマイページで確認できます。
またクリップした質問に回答があった際、通知やメールを受け取ることができます。
クリップを取り消します
-
良い質問の評価を上げる
以下のような質問は評価を上げましょう
- 質問内容が明確
- 自分も答えを知りたい
- 質問者以外のユーザにも役立つ
評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。
質問の評価を上げたことを取り消します
-
評価を下げられる数の上限に達しました
評価を下げることができません
- 1日5回まで評価を下げられます
- 1日に1ユーザに対して2回まで評価を下げられます
質問の評価を下げる
teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。
- プログラミングに関係のない質問
- やってほしいことだけを記載した丸投げの質問
- 問題・課題が含まれていない質問
- 意図的に内容が抹消された質問
- 過去に投稿した質問と同じ内容の質問
- 広告と受け取られるような投稿
評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。
質問の評価を下げたことを取り消します
この機能は開放されていません
評価を下げる条件を満たしてません
質問の評価を下げる機能の利用条件
この機能を利用するためには、以下の事項を行う必要があります。
- 質問回答など一定の行動
-
メールアドレスの認証
メールアドレスの認証
-
質問評価に関するヘルプページの閲覧
質問評価に関するヘルプページの閲覧
checkベストアンサー
+1
どんな値でもtrue/falseとして解釈できるのでは
できません。Vim script で真偽値として解釈できるのは、数値および数値に自動変換できる値だけです。リストや辞書、他にもジョブやチャンネルなどは、if などの真偽値を必要とする箇所に渡すとエラーになります。
投稿
-
回答の評価を上げる
以下のような回答は評価を上げましょう
- 正しい回答
- わかりやすい回答
- ためになる回答
評価が高い回答ほどページの上位に表示されます。
-
回答の評価を下げる
下記のような回答は推奨されていません。
- 間違っている回答
- 質問の回答になっていない投稿
- スパムや攻撃的な表現を用いた投稿
評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。
+1
こんなコードが書けます :cat:
" foo#get_all_account(): 色んなサイトのアカウント情報がリストで入ってくる
let all_account = foo#get_all_account()
" foo#try_login_to_somewhere(): somewhereというサイトにログインし、ログインが成功したらアカウント名が返ってくる関数
" : ログインに失敗したらO.none()を返します
let maybe_account_name = foo#try_login_to_somewhere(choice)
" lookup(): all_accountの中からキーがaccount_nameである要素を探してくる
" : all_accountの中に、キーがaccount_nameである要素がなければO.none()を返します
let maybe_account = O.bind(maybe_account_name, {account_name -> foo#lookup(all_account, account_name)})
" パスワード文字列に変換
let maybe_password = O.map(maybe_account, {account -> account.password})
" 全ての工程がうまくいっていればパスワードを表示
call O.map(maybe_password, {password -> execute('echo ' . password)})これは、somewhereというサイトにログインして、それに紐付いたパスワードを表示する疑似コードです！
そして、いずれかの工程で1回でも失敗していれば何もしません。
それをif無しで表現することができます。
Data.Optionalならね！！
詳しくはScalaのOptionや、HaskellのMaybe、JavaのOptionalを参照すると、さらに多くのことが学べるかもしれません。
Optionalは特別なパラダイムを提供してくれます :smile:
投稿
-
回答の評価を上げる
以下のような回答は評価を上げましょう
- 正しい回答
- わかりやすい回答
- ためになる回答
評価が高い回答ほどページの上位に表示されます。
-
回答の評価を下げる
下記のような回答は推奨されていません。
- 間違っている回答
- 質問の回答になっていない投稿
- スパムや攻撃的な表現を用いた投稿
評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。
15分調べてもわからないことは、teratailで質問しよう！
- ただいまの回答率 88.33%
- 質問をまとめることで、思考を整理して素早く解決
- テンプレート機能で、簡単に質問をまとめられる
2017/05/22 11:47
真理値となるのが、数値および数値だから、リストなどは自動変換できなかったのですね。
boolean型があり、それらに自動変換されているのかと勘違いしていました。
リストをifを直接渡してみるとエラーになることを確認できました。(Numberへの自動変換に失敗)
これでOptionalのメリットが腑に落ちました。
このライブラリ自体も勉強になります。vital.vimを開発して頂き、ありがとうございます。
使わせて頂きます。