programming-languages - Apache Ant 作为编程语言

Question

是 Ant 编程语言吗？如果是，它是必要的还是功能性的？

Answer 1

问题应该是:如果你想用 Ant 进行计算，你能做到吗？让我们限制自己做一些简单的事情，比如模拟一个简化的命令行计算器。如果你能做到这一点，Ant 肯定有资格成为一种编程语言，即使这不是该工具最初的意图。

我们可以定义的最简单的语言可能是“Huttons Razor”，它由

常量，如 5、37 等，所有自然数(从 0 开始计数)

一个 + 运算符，所以我们可以写成 (37 + 5) + 15 + (42 + 0)

如果您尝试滥用 Ant 进行计算，这无论如何都不是一种有用的语言，而是一个宏伟的开始；如果你连 Razor 都做不了，那你可能就做不了更高级的事情了。请记住，尽管其他计算方式(如 lambda 演算)与此有很大不同，因此其他路径可能也是可行的。注意:我不知道 Ant 是否可以做到这一点。我最后一次看它是在 2006 年，并决定不再看它。

请注意，语言不必是图灵完备的编程语言。我们有几种非常有用的编程语言，但它们没有。

对于非图灵完备的有用语言:

只接受 Total 程序(即终止程序)的语言。这对于许多用作定理证明的编程语言来说是必需的:Coq、Agda 等。另一个例子是简单类型的 Lambda 演算(简单的类型使得无法定义 Y 组合子并获得递归)。

高度特定于领域的语言。一个例子是巨魔，

http://www.diku.dk/hjemmesider/ansatte/torbenm/Troll/

这是一种用于描述桌面和角色扮演游戏中的掷骰子的语言。该语言似乎不是 TC，但它在设计新游戏时非常有用，因为它可以快速计算掷骰子方法的概率分布。