fugafuga.write

日々のログ

2018-02-21から1日間の記事一覧

すごいH本 part72

ファンクター則 Functor のインスタンスはファンクター則の2つの性質を満たす必要がある。 自前のファンクターを作る時はこの性質を満たす必要がある。 第1法則 idでファンクター値を写した場合、ファンクター値が変化してはいけない idは引数をそのまま返す…