flip constとconst idが等価だってことは、Haskellになじんでくると素直に思い浮かんでくるものなのか？ 命令型でいうと、forがwhileで書ける、みたいな感じで、プログラマの常識なのか？ もしそうなら、まだぜんぜんHaskell脳になってないな、おれの頭。 や…

ファクンタ⇒アプリカティブ⇒モナドの順で力強くなってることを、リストを例に考えてみる。 ファンクタ1つのリストに対して、1引数の変換(map)ができる。 アプリカティブ複数のリストに対して直積をとって、多引数の変換ができる。 モナド変換だけじゃなく、…