モナド
#型システム
何?
@podhmo
: monadは終わって(普及して)effectというイメージだった。
(monad transformerとかで頑張ってた既存のコードとかをどうするか?みたいな話は知らない)
Scala と Free モナドで入門するモナド #メタプログラミング - Qiita
あと、nits なんですが、こういう用語の濫用があるので、「Option がモナド」というよりは、「Option はモナド構造を後付けできるし、そのモナド構造を通して計算を表す値だと思うことができる」が正確です
https://x.com/Kory__3/status/1802197311772352901