プログラミングにおけるモナドとは、あるデザインパターンが、Javaでいうところのインターフェースで提供されるものだといえる。
もうこの時点で、モナドの意味を考えるという行為に疑問を抱かねばならない。
デザインパターンに「意味」を求めたりするだろうか。
モナドには種類があり、個々のモナドごとに違った意味を持っている。
個々のモナドの意味を通り越して、全てのモナドに共通の意味を求めようとすることが不幸の始まりなのである。
ただし「Haskellにおけるモナドの使い方」は以下記事で理解できると思う。
HaskellのMonad型クラスは「圏論の意味でのモナド」とは厳密には違うらしく、それに合致しないモナドも作れてしまうらしい。
https://qiita.com/south37/items/06cfa95aa9c8f2ecb2e9
プログラム言語におけるモナドのイメージとしては、やはり「プログラム可能なセミコロン」がモナドであるという認識でよさそう。
