是否有机器(和人类)可读的规范语言用于算法集合和元库？

Question

有没有高级语言来描述算法，它是面向规范而不是实现的？

我们的想法是拥有一个机器可读的标准算法存档，以及关于权衡和变体的机器可读注释。

我在考虑像CycL / OpenCyC这样的东西，但用于算法和编程模式。

Answer 1

这些不是完全匹配的，但它们在某种程度上很接近：Maude和CASL。它们都是机器可读的(使用合适的工具)规范语言，也允许某些形式的代码。有些人对AsmL发誓，但我不是他的粉丝。

很快，我认为Agda 2将很好地完成这一细分市场，但它仍处于全面开发阶段。也可以说Coq已经完成了这个角色(因为程序提取)，但我也不是它的粉丝。

Answer 2

圆滑的回答是:是的。这就是英语。

严肃的答案是:不，在这个问题没有得到回答几个月后，你可能已经假设了。我不相信有任何真正的共识，甚至没有任何考虑，这样的语言将需要什么。编程模式和算法总是在变化和发展，因此设计一种能够描述所有未来模式的语言将是非常困难的，如果不是不可能的话。

Answer 3

可能是伪码。或者流程图。对于机器可读，它必须是类似于元语言的东西。Lisp和Forth出现在脑海中。本质上是自定义的语言，使用一小部分原语来构建更高的抽象层。