LunarML」タグアーカイブ

LunarMLの進捗2022

この記事では、私が数年前から作っているStandard ML処理系「LunarML」の今年の進捗を振り返ります。

これまでの進捗報告記事は以下です:

続きを読む

バイトコードVMのための調査

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が動く」という状態にできる。

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

続きを読む

LunarMLが自身をコンパイルできるようになった

LunarML進捗報告、号外です。前回の記事

からそんなに時間が経っていませんが、「自分自身をコンパイルできるようにする」という重要なマイルストーンを達成したので報告します。

続きを読む

LunarML進捗・2022年4月

月刊LunarML進捗報告です。前回は

で、3月はHaskellの記事を書くのに忙しかったので休刊でした。

今月の進捗を一言で言うと、JavaScriptバックエンドの実装を進めました。

面白いと思った方はGitHubにスターをつけてください:

続きを読む