並列計算の理論にPi-Calculusというのがあるらしいのですが、それを実装した言語にPICTというのがあるらしくて、そのリンク。 http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html http://citeseer.ist.psu.edu/pierce97programming.html

http://web.archive.org/web/19991001153114/www.dcs.gla.ac.uk/~simonm/ というのが過去にあったみたいです。今はサイトが失われていますが。

ErlyWebとは、Erlangを使ったWeb Framework。 http://erlyweb.org/ 以下、関連して見かけたサイト http://progexpr.blogspot.com/2006/12/erlyweb-blog-tutorial.html http://yarivsblog.com/articles/2006/10/27/introducing-erlyweb-the-erlang-twist-on-w…

http://karetta.jp/article/blog/oneline/008668 http://konoe.lab2.kuis.kyoto-u.ac.jp/~hanatani/tdiary/?date=20061206 計算量が減るというわけではないんだな。 逆に、末尾再帰でなくなるせいで、空間計算量が増えるということもないわけではなかったり…

http://karetta.jp/article/blog/oneline/008668 maxInt =: 0x7fffffff ::Tree a = Node a [Tree a] norm t = let (norm_t, m) = f maxInt t m in norm_t where f n (Node i ts) m = let g t (ts,n) = let (t2,n2) = f n t m in ([t2:ts], n2) (ts2,n2) = fo…