教学用步进式 IDE「smolts」：在浏览器里看清程序内部状态

概述

eighty-twenty.org 的作者介绍自己两年前基于 Shriram Krishnamurthi 团队的 PLAI/SMOL（语言标准模型）教学工作、并受 Kuang-Chen Lu 的 Stacker 启发而做的教学 IDE「smolts」。它可以让你在浏览器里用基于 S-expression 的 SMoL 方言写程序，然后单步执行——IDE 会实时渲染当前 continuation、环境与 store，并在编辑器中直接注解变量与表达式的值。它支持向后单步（点太快漏了细节可以倒回去）和「run to cursor」。作者坦承还没真拿去上编程语言课，浏览器内的 git 项目管理还半成品，Svelte 状态管理也有 bug，但认为「教学用、能看见程序内部状态的语言 IDE」潜力很大，欢迎大家试用并提反馈。