smolts:一门教学语言的教学用 IDE
来源:eighty-twenty.org — 38 分 · by tonyg · 2026-09-09
📋 概述
受 Stacker 等项目启发,作者开发了 smolts——一个为教学语言设计的 IDE,可用于编程语言课程教学。它支持用 S-表达式方言的 SMoL(一种教学用语言)编写程序并单步执行,IDE 会在程序运行过程中实时渲染当前 continuation(续延)、environment(环境)与 store(存储)的状态,并直接在程序源码上做标注,让抽象的执行机制变得可视化、可观察。作者也坦言它尚未真正用于课堂,功能仍处于“半成品、略糙”的阶段,但认为把基于 git 的工程管理搬进浏览器这类想法潜力可观。
🔑 核心要点
- 以 S-表达式方言的 SMoL教学语言为基础,为编程语言课程设计。
- 单步执行时实时渲染 continuation、environment 与 store,让执行机制可视化。
- 直接在 源码上做运行标注,帮助学习者把抽象机制与代码对应起来。
- 作者坦言尚未用于课堂、实现略糙,但看好 浏览器内基于 git 的工程管理等方向。
💡 金句
“The IDE shows you a rendering of the current continuation, environment, and store as the program executes.”
👍 0
👎 0
← 返回 Hacker News 首页