- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
73 ：デフォルトの名無しさん[]：2015/07/20(月) 22:56:29.03 ID:XuKvM2I+ - モナドは型クラス。ある代数データ型に、
それに対応するfmap, ap, bind が揃っているだけ。
だが、その代数データ型の値をデータコンストラクタで出来上がった
構文木と見ると、代数データ型がBNFみたいに見えてくるはずだ。
そのBNFが表現する言語に、まさにfmap, ap, bindが制御構造を
もたらすものとして理解できる。
これが「モナドがDSLフレームワーク」ということの意味。
|