Functors, Applicative Functors, Monoids（10）

• 定義をがっちり作って、それにうまく動くように関数を作って・・・という「がっちりした作り」ではなくて、定義・概念が相互にオーバーラップするような作りになっているのがタイプ・タイプクラス。そして、そのようなタイプ・タイプクラスの連結状態としての関数がある。そのタイプ・タイプクラス・関数を相互に自由なピースとして使って、かなり自在な機能構造を作ることができるが、その自在な構造を可能にする仕組みがFunctors, Applicative functors, Monoids