明日だよなー、、、モナドとかナニヤラ
要するに不調！ あーシンド*1。
それはそうとして、モナドの相関図を考えてみる。
- 項モナドの仲間達
- リスト −似てる→ 列挙、バッグ
- バッグ −平均値を取る→ 平等な凸結合
- アフィン −定数を落とす→ 線形 −正値、たして1→ 凸結合
- アフィン −一般化→ 多項式 −一般化→ 代数式
- 代数式 −図形化→ ツリー −特殊化→ 二分木 −特殊化→ リスト
- アクション・エフェクト系モナドの仲間達：
- 右自明モノイド →代入
- 連接モノイド → ファイル出力
だめだ、もう疲れたからこれはヤメ。
別なハナシ。つうか、とにかくゴチャゴチャと色々。
