tyt

haskell monadの有用定理(?)は糖衣構文doに変換可能以外にはないのかな。

「お金持ちの子と貧乏人の子が溺れています。どちらを助けますか？」monsterじゃないけど＞「頭の良い子と頭の悪い子が溺れています。どちらを助けますか？」

skkは死んでたのか未だに使っている。

STMonadもrunSTの外からSTArrayを取ってこれたり、出したりできない？できたらcleanみたいになりそうだ。

cleanでmonadicな記述をマクロで表現すると、Maybeを上手く扱えない、 型クラスで表現すると一意型すべてに定義が必要。 worldだけでなくFileとかFileSystemとか、ただし、IOモナドによる汚染問題からは逃げられると思う。clean macroが便利かも。

start_cleanは達人ばかりだったようで説明いらんかったか。

おお素晴らしい＞with #concurrent_clean

あんまり覚えてないこと書かない方がいいか。

#concurrent_clean withって分岐版のwhereだった気がする。(←説明分かりにくい)多段でguard書けて、そのために必要なら便利な気もする。もうclean試せない。

cleanのサイトは繋がらない。(アク禁されているのだろうか)

macroがある :型を無視する関数。本来ならinstanceを作らねばならない？のが簡単にできる。

欠点3:whereによく似た with 文がある。

欠点2:型が複雑 box/unbox 正格/遅延 一意型(* .)等

一意配列内一意配列では代わりにreplaceをする。haskellではwhereでIOできないから可能？

clean2.1欠点1:一意データ内の一意データを複製するのは計算順番が決まらない可能性があるのでできない。っぽい

clean2.1 欠点0:ライブラリが不足

#start_clean 参加できないけど、2.1時代の欠点・特徴等を載せてみる。もう一意性について分からなくなってしまった。