>>205
前にちらっとみただけなんだけど、あるWebサイトに
MLでOSとそれに最適化されたツール群を作るって言う
研究が乗ってた。どうも見た感じだとコンパイラの
製作(そのために言語の拡張をしてたのかどうかは分からない)
で撃沈してた模様。UNIX/Cに変わりうるようなパラダイムが
関数型言語の方面から出てくるのかなあなんて思ったりも
してたけど、実際は難しいみたいね。