smolts: 言語セマンティクスを可視化する教育用IDE

2年の歳月をかけて開発されたsmoltsは、Shriram KrishnamurthiのPLAIにおけるSMoL（Standard Model of Languages）研究に基づく教育用言語のためのIDEです。Kuang-Chen LuとKrishnamurthiによる類似ツールStackerに触発されています。作者は教育目的で構築しましたが、まだ教室で使用していません。それでも、一見の価値があります。

このIDEはブラウザで動作し、SMoLのS式方言でプログラムを書き、実行をステップ実行できます。特筆すべき点は、プログラム実行中に現在の継続、環境、ストアをレンダリングし、エディタ内のソースに直接注釈を付けて変数や式の値を表示することです。詳細を見逃した場合は後方ステップも可能で、「カーソルまで実行」機能もあります。

作者は実装が不安定で不完全であり、Svelteの状態管理にいくつかのバグがあることを認めています。しかし、言語セマンティクスを具体的にするという中核的なアイデアはしっかりしています。また、完全には実現されていませんが、ブラウザ内のgitベースのプロジェクト管理コンセプトも示唆に富んでいます。

教育者やプログラミング言語愛好家にとって、これは学生に内部で実際に何が起こっているかを示す実践的な方法です。ライブの継続と環境ビューは、「なるほど」という瞬間を生み出す種類のものです。粗削りですが、可能性は明確です。

smol.leastfixedpoint.comで試すか、ソースを掘り下げてみてください。