拡張の必要性

私は現在、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と継続

あたりです。

前回の記事に「例外は限定継続の上に乗っける感じで実装するべきなのかもしれません」と書きました。この記事では、その辺の話を掘り下げ、「Representing Monads」に繋げます。

今回はLunarMLに入れるつもりの継続周りの機能についてグダグダと書いていきます。

先月のLunarML進捗報告は

• LunarML進捗・2022年4月

でした。