lang-n-change:转换语言的工具

朗正变 它是什么？ lang-n-change是用于转换语言的工具。 它提供了特定领域的语言L-Tr （发音为“ Elter”），用于表达执行语言转换的算法。 给定以操作语义（ .lan文件）和算法（ .tr文件）的形式表示的语言定义，将该算法应用于语言定义，从而生成新的语言定义。 用L-Tr表示的算法被编译成OCaml程序（ support/transform.ml ），然后以语言定义作为唯一参数运行该程序。 为什么要使用它？ L-Tr允许语言转换以简洁，声明性的方式表示，并且类似于笔和纸的表示法。 它提供了代表语言定义组成部分的一流数据类型，可以在细粒度级别上进行传递和操作。 因此，它可以为语言设计者节省大量时间和精力，以自动将功能添加到整个语言类中。 平均而言， L-Tr算法大约是所述算法生成的（而不是惯用的）OCaml代码的大小的1/3。 此外，可以将语言定义编译为可执行的