モナドパターン
モナドはメタファーではない: http://eed3si9n.com/ja/monads-are-not-metaphors
「ある物から始めて、その値を使って新たな物を計算するのだ。」
値を格納する型Aを定義して、その型Aに格納した値を使って何かを計算する関数を引数に受けて、計算結果を格納した型Aのインスタンスを返すメソッドを作れば、それはモナドパターンってことでOK？
モナドはメタファーではない: http://eed3si9n.com/ja/monads-are-not-metaphors
「ある物から始めて、その値を使って新たな物を計算するのだ。」
値を格納する型Aを定義して、その型Aに格納した値を使って何かを計算する関数を引数に受けて、計算結果を格納した型Aのインスタンスを返すメソッドを作れば、それはモナドパターンってことでOK？