2012-08-22から1日間の記事一覧
すぐ上の記事の追記みたいなもの。一般化クライスリ構成/拡張について、次のように書きました(「一般化クライスリ構成を探して」): いくつかの例を知っていて、ボンヤリした枠組みを想定している状態です。個別の例を詳しく調べるほうが得策かな、と今は…
昨日の記事「一般化クライスリ構成を探して」の補足。一般化クライスリ構成でやりたいことは、2つの自己関手F, Gを使って「射」の概念を拡張することです。A→B から F(A)→G(B) に拡張するわけですね。当初僕は、このような (F, G) を両モナドと呼んでいまし…