language-design - 如何设计抽象语义图？

Question

有人可以指导我访问用于设计和实现抽象语义图 (ASG) 的在线资源吗？我想为我的语言创建一个 ASG 编辑器。能够直接编辑 ASG 有许多优点:

只需要输入标识符和文字，并且标识符在定义时只写一次。其他一切都是通过鼠标选择的。

由于编辑器知道该语言的语法，所以不再有语法错误。编辑器首先阻止它们被创建。

由于编辑器知道语言的语义，所以不会再有语义错误。

有一些次要的优势:

由于所有保留字都很容易分离，因此可以在一种语言环境中编写程序并在另一种语言环境中查看程序。可以即时更改语言环境。

所有文本文字都可以轻松分离，因此可以轻松更改区域设置，包括即时更改。

Answer 1

我不知道有一本关于这个问题的书，但你会在各种计算机语言书籍的部分中找到讨论的主题。您还会发现围绕实现您所描述内容的各种项目的讨论。例如，您会发现很多关于 Scratch 设计的讨论。大多数工作流引擎也基于语义图中的脚本。

请允许我认为...基本上只要我们拥有编程语言，我们就拥有在结构上操纵语言的技术。我相信我们仍然使用文本语言的原因是以下事实的结合:作为人类，使用自然语言进行交流更自然，而且有时在适当的情况下很难编写和重构代码必须保持结构。如果您不确定我的意思，请尝试在 Scratch 中构建复杂的表达式。文本更容易，一个体面的 IDE 几乎可以验证正确的结构。*

*我并不是要从 Scratch 中拿走任何东西，它是一种美丽的东西，非常适合其预期目的。