compiler-construction - 确定自定义语言的类型

Question

我正在考虑专门用于图形的小型语言，它可以提供很多功能来操作图形等。

所以当我思考语言的语法时，我读到了函数式和“显而易见的”命令式范式。一个人如何决定哪种语言风格会更好？哪一个更适合我的用例？我会很感激有一些很好的理由和解释的答案。

编辑：至于这种语言的受众：我相信没有编程经验的非程序员/研究人员仍然能够使用图表，并从中受益。

编辑：如果你觉得这个问题没有用，你可以投反对票，但请添加评论，说明你为什么觉得它值得。它可能会帮助我走很长的路。

Answer 1

IMO 当您尝试设计一些简单的语言时，您通常会知道谁会使用它以及它会做什么。然后，首先尝试“使用它”，想想它应该是什么样子。不要考虑范式和那些东西——当你的语言变得更大时，你会开始担心——但也许它不会:) 它可以作为一个简单的交互式 shell 结束，具有基本的类似数学的语法。

Answer 2

并不是您大多数问题的真正答案，但我设计了一些玩具语言（并考虑了一些非玩具语言）。我发现考虑一下我希望用这门语言完成的各种事情，然后在设计它之前尝试实际编写一些示例程序，看看这些概念是如何产生的，这很有帮助。

很难不陷入无关紧要的细节中，例如需要括号的内容，确切地指示结构的方式，声明变量和类型的方式（如果这样做的话）等等。在这个阶段，您对语法并不真正感兴趣（这在你编写示例程序时有点奇怪），所以它更接近于伪代码。但它可以帮助巩固你需要什么原语，你的语言的用户会思考什么概念。

如果您仍在权衡命令式与函数式等基本选择，请尝试几种不同的方式。例如，您的语言需要提供哪些构建块才能以命令式样式编写图形转换？功能风格呢？这样做可以帮助您了解每种方法的效果如何，每种方法需要解决哪些问题，等等。