Cleanには、Dynamicという機構があって、プロセス間通信などを型安全に行うことができる。 http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport21/Chap8.html 昨日のプロセス間通信を使った副作用の表現は、Dynamicを使って実現できるだろう…

どうすればいいのだろうか？ createServer :: !(a -> *World -> *World) !*World -> ((a u:b -> u:b), *Server, *World) shutdownServer :: !*Server !*World -> *World eval :: !a !u:b -> u:b eval a b = b Start w = w --> createServer receive --> \(se…

CleanはLazyな言語として知られているのですが、正格性型注釈がとても便利なので、LazyとStrictのハイブリッド言語と捉えておく方が認識としては正しいように思います。なので、下のような正格評価を期待するプログラムも、Cleanとしてはありなのではないか…

うだうだ考えていたら、ObjectIOのシステムによく似たものを再発明しようとしているような気がしてきた。ObjectIOをもう一度復習しておこう。

Haskellに、CleanのObjectIOが移植されていて、標準でついてくるらしい噂を聞いたけど、それホント？