ファンクション倶楽部のスライドを読んだ

昨日、@takkanmさんに教えてもらったファンクション倶楽部での発表を読みました。
何が分からないから分からないレベルから、何が分からないかが分かる程度にはレベルアップした気がする。

読んだやつ

• 発表動画
• 発表スライド

あとArrow.hsも適宜参照した。

Arrowってなにが嬉しいの?

普通だったらletが必要な状況でもポイントフリースタイルで書けるよ。
例えば、

let xs = 1:xs in
  take 10 xs

をポイントフリーで書けちゃうらしい。

で、ボクは何を理解してないの?

• (>>>)はいいけど、(***)とかArrowChoiceとかArrowLoopが分からない
• (->)以外のインスタンス(Kleisli?)が全然分からない
• Arrowに関連して(?)Applicativeなんてのもあるらしい。参考: Applicative勉強中：Applicativeとモナド - 取り急ぎブログです