2013-05-09 Freeモナドを超えた!?operationalモナドを使ってみよう 限定版IOみたいなモナドを簡単に作れたら、コードが分離できるしテストもしやすくなるのになあ… 数か月前なら、 それ、Freeモナド*1でできるよ! と返されるだろう。だが今は違う。Freeモナ... 続きを読む
Free モナドは有効?ここ数日 Free モナドについて調べていて気になったことがあるので書く。Free モナド。興味深い名前のこのモナドはいくつかの興味深い特徴を持つ。現時点で自分が知っているのは次の3点。データ型 f を Functor のインスタンスにすると Free... 続きを読む
A couple of years back Janis Voigtländer wrote a nice paper on how one can use the codensity monad to improve the asymptotic complexity of algorithms using the free monads. He didn't use the name Codensity in the paper, but this is essentiall... 続きを読む
Logo Design NZ blogのエントリーから、使い勝手のよさそうな、ページのアクセントにも最適なフリーのデザインフォントを紹介します。 Download Top 20 Designing Fonts 続きを読む