LunarMLの今年の目標に「REPLとインタープリターを実装する」というのがある。これまではLunarMLをLuaやJavaScriptをターゲットとするコンパイラーとして実装してきたけど、

• REPLによるインタラクティブな実行
• 書いたSMLコードを直接実行（一旦LuaやJavaScriptコードを生成するのではなく）

できると嬉しいよね、という話だ。（REPLを備えたStandard ML処理系は色々あるが、LunarMLとコンパチブルなREPLが欲しければ自分で作るしかない。）

つまりインタープリターだが、構文木を走査するインタープリターは遅そうだ。効率的な実行のためには、バイトコードとVMを設計したい。

バイトコードへのコンパイラーはSMLで、VM（ランタイム）はSMLによる実装とC言語による実装の両方を用意することをイメージしている。

C言語による実装を用意することで、高速な実行が期待できるだけではなく、「コンパイル済みバイトコード+C言語で書かれたランタイムによるbootstrap問題の解決」もできる。つまり、現状の「LunarMLを動かすためにはSMLコンパイラーが必要」という状態から「CコンパイラーまたはSMLコンパイラーがあればLunarMLが動く」という状態にできる。

ではバイトコードと抽象機械はどうやって設計するか？

続きを読む →