Smolts: 教育用言語のための教育的IDE
Smolts: A pedagogical IDE for a teaching language (eighty-twenty.org)
要約
この記事では、Shriram Krishnamurthiらの研究に基づいた教育用言語SMoL（Standard Model of Languages）のためのIDE「Smolts」を紹介しています。Smoltsは、S式ベースのSMoL方言でプログラムを作成し、実行ステップを追跡できるブラウザベースのIDEです。現在の継続、環境、ストアのレンダリングや、変数・式の値の直接注釈表示、後方ステップ、カーソルまでの実行などの機能を提供します。
全文翻訳
smolts: 教育用言語のための教育的IDE
2026年9月4日 金曜日 08:37 CEST
［画像: オブジェクト1.smol を表示している smolts のスクリーンショット］
object1.smol を表示している smolts のスクリーンショット。クリックすると拡大します。
https://smol.leastfixedpoint.com/
2年前、私はPLAIの一環として、Shriram KrishnamurthiらによるSMoL（「Standard Model of Languages」）教育言語の研究に基づいた、教育用言語のIDEを構築しました。このプロジェクトは、Kuang-Chen LuとShriramによるStacker開発の素晴らしい作品に直接触発されたものです。
https://smol.leastfixedpoint.com/で試してみてください- git のソースコードを読む
- 上記のスクリーンショットの高解像度版を見る
- この投稿の最下部にある短いデモ動画を見る
そのアイデアは、プログラミング言語の教育にそれを使用することでした。私はまだ（今のところ）実際にはその目的で使用していませんが、存在を知ってもらっても良いかと思います。
これを使うと、もし意味が分かれば、SMoLのS式ベースの方言でプログラムを書き、それをステップ実行できます。IDEは、プログラムが実行されるにつれて、現在の継続、環境、ストアのレンダリングを表示します。また、エディタ上で直接プログラムに注釈を付け、変数や式の値を示します。
あなたは後方へステップ実行することもできます。これは、速すぎて詳細を見逃した場合に役立ちます。また、「カーソルまで実行」することもできます。
まだ完全に実現されていない多くの可能性がそこにあると思います。ブラウザ内でのgitベースのプロジェクト管理というアイデアは本当にクールで、現在の実装はぎこちなく半完成品ですが、そのアイデアをかなり想起させるものだと思います。また、Svelteの状態管理に関するいくつかのバグもまだ残っています。
とにかく、ぜひ試してみてください。コメント、意見、プルリクエストを歓迎します！私にメールするか、fediで私をタグ付けしてください。
デモ
この動画は2024年7月に録画されたもので、システムのやや古いバージョンを示していますが、コアな動作は現在のバージョンと同じです。
[動画]