ブログを http://yamamoto.heroku.com/ に移転しました。

http://mew.org/~kazu/material/2011-monad.pdf に3つ問題が出されていたので解いてみる。 lwrap, lbind (P. 26) 解答 -- lwrap :: a -> [a] と, しなかったのは -- fwrap :: a -> m a に合わせたので lwrap :: a -> [] a lwrap x = [x] -- lwrap と同様に f…

第 5 回は 10 章, 11 章が対象。10 章は 型とクラスについて書かれている。Haskell で一番特徴的な部分は? と訪ねられたら 型 と答えるかな（今のところ）。 モナド @kazu_yamamoto さんによるモナドのチュートリアル。今回の勉強会における自分の中でのメイ…

今回は8章, 9章が対象。 本を読んでいてわかりにくくなってくるのがここから。でも Haskell として楽しくなってくるのはここから（@ruicc さん曰く）。 パーサー 型 パーサの型は関数。Int とか Char のように値ではなく関数。 type Parser a = String -> [(…