Free モナドは有効？ - Mizon Dev Diary | 2013-04-20
Free モナドは有効？ここ数日 Free モナドについて調べていて気になったことがあるので書く。Free モナド。興味深い名前のこのモナドはいくつかの興味深い特徴を持つ。現時点で自分が知っているのは次の3点。データ型 f を Functor のインスタンスにすると Free f が Monad のインスタンスになるFree f は mtl の型クラスをはじめとする多数の型クラスのインスタンスになる (地道にインスタンスを定義するのはめんどい)Free モナドのアクション Free f a は任意のモナド m のアクション m a に変換できるFree モナドを実用する観点でこれらの特徴を見ると、3点目の Free モナドを任意のモナドに変換できる特徴に注目したい。これは、Free モナドの各アクションをインターフェースと見立ててプログラミングをすると、インターフェースの実装コードをそのプ
hyoneの日記
先日の Gist のリニューアルに伴って、外部サイトにコードを埋め込む際の HTML 構造が変更されたらしく、はてなブログ上に貼り付けたコードのデザインがおかしくなってしまった。 修正前: そこで、以下のような CSS を追加して修正した。 td.line_data pre { font-size: 13px; white-space: pre; box-shadow: none; } td.line_numbers { font-size: 13px; } 修正後: 行ごとの枠線を消して、行番号とコードのずれを修正。 参考にしたサイト Gist のコードの表示がおかしくなっていたので修正した - あらびき日記 - DataKinds 言語拡張のおかげで、 [String, Bool] のような型レベルのリストリテラルが扱えるようになり、 異なる型の要素を持つことができるヘテロリスト、それ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Operational Monad
