12日目 

11日目は、Jeremy Gibbons さんの Datatype-Generic Programming を読み始めて、 FixBifunctor の巧妙な使い方をみた。

次に「Iterator パターンの本質」(The Essence of the Iterator Pattern) に進み、 Cats が Const を使って Int のようなモノイダル・アプリカティブを表していること、 アプリカティブ関数を合成する方法を欠いていることが分かった。

F[A]G[A] のペアを表す独自のデータ型である Prod の実装を始め、 アプリカティブ関数を表す AppFunc も実装した。 #388

Contents