タグ

ブックマーク / tategakibunko.blog83.fc2.com (1)

  • 縦書き文庫の開発日誌 すごいHaskellたのしく学ぼう、の読書メモ(関数Applicative Functor編)

    すごいHaskellたのしく学ぼう!(略してすごいH)ですが、難しかったけどなんとか読了できました。 しかしこの、全体的に解説が丁寧なのですが、重要じゃないとみなされた部分の説明は、意外とザックリしてる印象です。 というわけで、ちょっと理解に時間がかかった箇所を自分なりにまとめておこう! という記事です。 最初に躓いた箇所は、第11章の249P「関数もアプリカティブだよ」というところでした。 結論は :: f g = \r -> (f r) (g r) なのですが、最初に見たときはサッパリだったので、これについてメモします。 アプリカティブファンクターのの定義は :: f (a -> b) -> f a -> f b だから、この f を関数の型クラス ((->) r)に置き換えて :: ((r -> a) -> b) -> (r -> a) -> (r -> b) でもって、((r

    UDONCHAN
    UDONCHAN 2012/07/26
  • 1