ECMAScript Edition 4 の参照実装をちらっと覗いてみる。http://lambda-the-ultimate.org/node/2289 どうも実際に試すのはちょっとだけ面倒な感じだったので、ソースコードだけどんな感じかと。へー。SML の実用的なソースコードって初めて見たけど、こんな感じなのか。そう、未来の javascript (es4) の仕様は SML で書かれているのです。「ソースコードが仕様です」とは良く言った物だ。実際には C で書き直すにせよ、まず関数型言語で仕様が正しいかどうかを確認するというのは素晴らしい態度だ。最初は独自の仕様記述言語を作りかけたが、ほとんど SML になってしまったので SML を使う事にしたらしい。カッコイイ！
