Smolts：专为教学语言设计的教学IDE（eighty-twenty news）

# smolts：一个教学语言的教育集成开发环境（eighty-twenty news） 来源：https://eighty-twenty.org/2026/09/04/smolts ### 2026年9月4日 星期五 08:37 中欧夏令时 smolts界面截图展示 object1.smol 文件（https://eighty-twenty.org/images/smolts-screenshot-20260904.png） smolts界面截图展示`object1\.smol`。点击可放大。 **`https://smol\.leastfixedpoint\.com/` (https://smol.leastfixedpoint.com/)** 两年前，我构建了一个针对教学语言的集成开发环境。该项目基于 Shriram Krishnamurthi (https://cs.brown.edu/people/sk/) 等学者关于 SMoL（"语言标准模型"）教学工作的成果，作为 PLAI (https://www.plai.org/) 课程的一部分。该创意直接灵感来源于 Kuang-Chen Lu (https://lukuangchen.github.io/) 与 Shriram 在开发 Stacker (https://github.com/LuKuangChen/stacker-2023) 过程中的卓越贡献。 - 请在 `https://smol\.leastfixedpoint\.com/` (https://smol.leastfixedpoint.com/) 体验 - 在 git 仓库 (https://git.leastfixedpoint.com/dacs/smolts) 中查阅源代码 - 查看上述截图的高分辨率版本 (https://eighty-twenty.org/images/smolts-screenshot-20260904.png) - 在本页面底部观看简短的演示视频 该工具最初构想用于编程语言课程教学。虽然我尚未（暂时）真正将其用于教学，但不妨让更多人了解它的存在。 通过这个 IDE，您可以在基于 S 表达式的 SMoL 变体语言中编写程序（如果您明白我的意思），并逐步执行。程序运行时，IDE 会展示当前的延续、环境和存储状态的可视化呈现。它还会在文本编辑器中直接标注程序，实时显示变量和表达式的值。 您可以反向单步执行——当点击过快错过细节时这很有用，也可以“运行至光标位置”。 我认为其中蕴含的潜力尚未完全发掘：基于浏览器的 git 项目管理理念非常出色，虽然当前实现尚显粗糙且未完成，但它已能较好地体现这一理念。同时，由于 Svelte 状态管理仍存在若干 bug。 总之，欢迎尝试体验 (https://smol.leastfixedpoint.com/)。欢迎提出意见、建议或代码合并请求！您可以通过[电子邮件](mailto:[email protected])联系我，或在联邦宇宙 (https://pubsub.leastfixedpoint.com/@tonyg) 标记我。 ## 演示 以下视频录制于2024年7月，展示了该系统的早期版本，但核心操作与当前版本保持一致。