算法集合和元库是否有机器（和人类）可读的规范语言？

Question

是否有用于描述算法的高级语言，这是针对规范而不是实现？

这个想法是拥有一个标准算法的机器可读存档，在权衡和变体上有机器可读的注释。

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

Answer 1

这些并非完全符合，但它们有点接近：Maude和CASL。它们都是机器可读的（带有不错的工具）规范语言，它们也允许某些形式的代码。有些人发誓AsmL，但我不是粉丝。

很快我认为Agda 2将很好地完成这个利基市场，但它仍处于全面发展阶段。也可以说Coq已经履行了这个角色（因为程序提取），但我也不是粉丝。

Answer 2

滑稽的回答：是的。它被称为英语。

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

Answer 3

可能是伪代码。或流程图。对于机器可读，它必须类似于元语言。 Lisp和Forth浮现在脑海中。语言本质上是自定义的，只有一小组原语来构建更高层次的抽象。