2013-06-30から1日間の記事一覧

Zip + Functor = Apply

また細かいtypeclassの話で、それほど重要じゃないけどメモ。 「ZipとUnzipのtypeclassにlawないけど、"Zip + Functor"とか"Zip + Functor + Unzip"なら、law作れるんじゃないの?」