久しぶりの進捗報告です。

前回の記事：

• LunarML進捗・2023年3月

引き続きLunarMLの開発をやっています。

前回の記事：

• LunarML進捗・2023年1月

最近書いた関連記事：

• Standard MLに対する拡張のアイディア

拡張の必要性

私は現在、Standard ML処理系であるLunarMLを開発しています。しかし、Standard MLはほぼ進化の止まった言語です。一応Successor MLという取り組みがありますが、準拠を目指している処理系は多くはありません。

• Successor MLの話

LunarMLが成功するためには、言語標準という枠に囚われずに「モダン」な機能を積極的に取り入れていくことが重要だと考えられます。つまり、拡張機能です。

Standard MLに足りない機能は何でしょうか。LunarMLにどんな拡張を入れれば、使いやすい言語になるでしょうか。

過去の記事ではすでにいくつか機能を挙げ、いくつかは実際に実装しました：

• 自作SML処理系進捗：Hello Lua!
  • 十六進浮動小数点数リテラル…実装済み
  • Unicodeエスケープシーケンス…実装済み
  • 条件コンパイル
• LunarML進捗：signatureの実装に向けて
  • 第一級モジュール
• LunarMLと継続
  • 限定継続…実装済み

実装済みの拡張機能については以下に説明を書いています：

• LunarML/Extensions.md at master · minoki/LunarML

ここではもうちょっと色々アイディアを出してみます。

2023年もLunarMLの開発をゆるゆるとやっていきます。

前回の記事：

• LunarMLの進捗2022

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

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

• LunarMLの進捗2021（2021年12月）
• LunarMLの進捗・2022年1月（2022年1月24日）
• LunarML進捗・2022年2月（2月22日）
• LunarML進捗・2022年4月（4月25日）
• LunarMLと継続（5月22日）
• LunarML進捗・2022年6月（6月25日）
• LunarMLが自身をコンパイルできるようになった（7月1日）
• LunarML進捗・2022年7月：LuaJIT対応など（7月28日）
• バイトコードVMのための調査（10月12日）

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進捗・2022年6月

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

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

• LunarML進捗・2022年4月
• LunarMLと継続

あたりです。