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

Question

是否存在用于描述算法的高级语言，它面向规范而非实现？

我们的想法是拥有一个机器可读的标准算法存档，其中包含机器可读的权衡和变体注释。

我正在考虑类似 CycL/OpenCyC 的东西，但用于算法和编程模式。

Answer 1

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

很快我想到Agda 2将很好地满足这个利基市场，但它仍处于全面发展阶段。也可以说 Coq已经扮演了那个角色(因为程序提取)，但我也不是粉丝。