语言验证，构造和分析 介绍 LVCA是用于构建编程语言的工具。 它有一个故意小的核心。 您可以通过指定（1）它的语法，（2）它的静态（即类型检查规则），（3）它的动态（即它的评估方式）以及（4）具体的语法来创建一种语言。 LVCA然后提供工具： 解析器 漂亮的打印机 口译员 类型检查器 自动序列化（到JSON或cbor） 程序/表达式的内容识别 尚不存在但可以并且应该做到的事情： 调试器 语言服务器协议的实现 语法高亮/编辑器工具 例 首先，我们定义语言的抽象语法。 这种简单的语言仅具有