Smolts: 教育用言語のための教育的IDE

Smoltsのオブジェクト1.smolを示すスクリーンショット。拡大するにはクリックしてください。https://smol.leastfixedpoint.com/2年前、私はPLAIの一環としてShriram KrishnamurthiらのSMoL（Standard Model of Languages）教育言語に関する研究に基づいて、教育用言語のためのIDEを構築しました。このプロジェクトは、Kuang-Chen LuとShriramによるStacker開発の素晴らしい作業に直接触発されたものです。https://smol.leastfixedpoint.com/で試してみてください。gitでソースコードを読む。上記のスクリーンショットのフル解像度版を見る。投稿の最後に短いデモビデオを見る。そのアイデアは、プログラミング言語の教育にそれを使用することでした。私はまだ実際にはそれを使用していませんが、存在することを人々に知らせても良いと思います。それを使用すると、S式ベースの方言でSMoLのプログラムを記述し、ステップ実行できます。IDEは、プログラムが実行されるにつれて、現在の継続、環境、ストアのレンダリングを表示します。また、テキストエディタ内で直接プログラムに注釈を付け、変数や式の値を表示します。後方ステップも可能で、速すぎて詳細を見逃した場合に役立ちます。「カーソルまで実行」することもできます。まだ完全に実現されていない多くの可能性がそこにあると思います。ブラウザ内でのgitベースのプロジェクト管理というアイデアは本当にクールで、実装は現在ジャンクで半完成品ですが、そのアイデアをかなり想起させるものだと思います。Svelteの状態管理に関するバグもいくつか残っています。とにかく、試してみてください。コメント、意見、プルリクエストを歓迎します！私にメールするか、fediでタグ付けしてください。デモこのビデオは2024年7月に録画されたもので、システムのやや古いバージョンを示していますが、コアの操作は現在のバージョンと同じです。