Chapter 30

7.4 練習問題

さのたけと
さのたけと
2021.05.31に更新
  1. Maybe 型コンストラクタを,2つの引数を両方とも無視する関手に変換せよ. fmap は次のようになる.(ヒント:関手性を確認してみよう)
fmap _ _ = Nothing
  1. reader 関手の関手性を確認せよ.(ヒント:とても単純だ)

  2. reader 関手を,あなたが2番目に好きな言語で実装せよ.(1番は当然 Haskell でしょう?)

  3. リスト関手の関手性を確認せよ.リストの tail 部分は関手性を持つことを前提としてよい.(つまり帰納法をつかうということだ.)

(和訳:@takase