そうすると、Maybeモナドも書けるよねという話。Maybeモナドというのは、モナド計算の過程で計算がfaiする可能性がある場合に使われるもので、途中で計算がfailするとNothingという値がモナド計算の最後まで伝播していくというモナドである。下記コードのTes…

ukaiさんが、書いて下さった。なるほど...素晴らしいっす！という事で、もう少し詰めてみることにする。Monad in Scheme (1)での僕の書き方は少し曖昧だったので、モナドが満たすべき3つの法則(モナド則)を満たすように書き直してみた。とはいっても、ukaiさ…