compiler-construction - 如何用 Python 或 GoLang 为静态类型 DSL（领域特定语言）编写解释器？

Question

我想拥有自己的自定义语言/领域特定语言。我从 Python 的 SLY 和 PLY 库中了解了词法分析器和解析器。但是我想知道如何编写我自己的静态类型 DSL 解释器？到目前为止，我读过的教程都在谈论一个常见的例子，比如 (a=4+2+2) 之类的。但是我的设计指定了一个类型，然后是变量，然后使用我的自定义语法进行赋值，如下所述。它旨在以类似于 C/C++ 的方式运行，因为它们是静态类型的。

TY: A TP i.
D: MyV1 TP A, MyV2 TP string.

如何命令计算机解释类型和构建自定义类型，这只是我目前的疑问之一。但是，如果我有机会阅读任何深入的文档（如果有的话），那就太好了。需要帮忙。

标签： compiler-constructioninterpreterdsllexical-analysis