发现并修复对程序行为的常见误解

本文介绍了标准语言模型 (SMoL)，它代表了多种流行编程语言（如 Java、C#、Python、JavaScript 等）的共同语义核心。SMoL 具有巨大的教学优势，因为它可以让学生掌握这些语言的核心概念，使其更容易在不同语言之间迁移知识。作者开发了一个 SMoL Tutor 工具，用于识别和纠正学生对 SMoL 程序行为的误解。Tutor 使用了一种名为“反驳文本”的教育方法，帮助学生理解错误并纠正他们的理解。作者还提出了“误解解释器”的概念，它是一种故意错误的解释器，用于模拟学生的误解。