2012-11-01から1ヶ月間の記事一覧

Scalaz で継続モナド

以前(id:fits:20121104)、Haskell で実装した継続モナドのサンプルを Scalaz で実装してみました。なお、今のところ Scalaz に継続モナドは用意されていないようで、id:fits:20121111 のような方法で自作する必要がありました。ただし、実際のところ Scala…

Haskell と Scalaz でモナドを自作

今回は、Haskell と Scalaz でモナドを自作してみました。良い題材を思いつかなかったので、とりあえず以下のような単純なモナド(Counter モナドとする)を自作する事にしました。 カウンターを持たせて、バインドで処理を繋ぐ度にカウンター同士を加算する…

Haskell で継続モナド

継続渡し形式 (CPS) をモナドとして扱う継続モナドを Haskell で試してみました。 継続モナドは以下のような処理をモナド化します。 何らかの処理結果を引数として継続と呼ばれる関数を呼び出す(継続は外部から与える) 処理結果を引数にコールバック関数…