9日目は、モナディック関数である flatten、 filterM、そして foldM の実装をみた。 次に foldM を使って安全な RPN 計算機を作り、Kleisli 合成をみて、独自のモナドである Prob を作って、フラクタルとの関係についても考えた。
flatten
filterM
foldM
Kleisli
Prob
Cats は Zippper に相当するものを提供しないので、昨日の段階で「すごいHaskellたのしく学ぼう」からのネタは終わりで、 今日からは自分でトピックを考えなければいけない。
Zippper