vital.vimのData.Optionalのメリットとは？

Question

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
end

if s:cacheでは何か問題があるのでしょうか？
どんな値でも真理値にするという目的があるのかなと思いましたが、どんな値でもtrue/falseとして解釈できるのではと思いました。

どなたか解説をして頂きたいです。
よろしくお願い致します。

Answer 1

こんなコードが書けます 🐱

" 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は特別なパラダイムを提供してくれます 😄

Comments

[mitsuru793]

返信が遅れました???? ご回答、ありがとうございます。
`{account_name -> foo#lookup(all_account, account_name)}`というアロー関数が使えることを初めて知りました！

Optionalがあるとifがなくなるということですか。NullObjectみたいですね。
Optionalがない場合は、上記の例だと引数の中身が、emptyかどうかということを毎回ifで確認する必要があるということですね。
その確認をO.mapとかがやってくれているということですか。
大変参考になりました。ありがとうございます。

Answer 2

どんな値でもtrue/falseとして解釈できるのでは

できません。Vim script で真偽値として解釈できるのは、数値および数値に自動変換できる値だけです。リストや辞書、他にもジョブやチャンネルなどは、if などの真偽値を必要とする箇所に渡すとエラーになります。

Comments

[mitsuru793]

回答、ありがとうございます。
真理値となるのが、数値および数値だから、リストなどは自動変換できなかったのですね。
boolean型があり、それらに自動変換されているのかと勘違いしていました。

リストをifを直接渡してみるとエラーになることを確認できました。(Numberへの自動変換に失敗)
これでOptionalのメリットが腑に落ちました。
このライブラリ自体も勉強になります。vital.vimを開発して頂き、ありがとうございます。
使わせて頂きます。