算法集合和元庫是否有機器（和人類）可讀的規範語言？

Question

是否有用於描述算法的高級語言，它是面向規範的，而不是實現？

這個想法將是一個機器可讀的標準算法歸檔，機器可讀的標註折衷和變體。

我在想CycL/OpenCyC，但是對於算法和編程模式。

Answer 1

glib回答：是的。它被稱爲英語。

嚴肅的回答：不，你可能已經假設這個問題的幾個月後沒有得到答覆。我不相信任何真正的共識，甚至是對這種語言所需要的考慮。編程模式和算法總是在變化和發展，所以設計一種能夠描述所有未來模式的語言將是非常困難的，即使不是不可能的。

Answer 2

僞代碼，可能。或流程圖。對於機器可讀性來說，它必須像元語言一樣。想到Lisp和Forth。基本上是自定義的語言，只有一小部分基元可以建立更高層次的抽象。

Answer 3

這些不是精確匹配，但它們有點接近：Maude和CASL。它們都是機器可讀的（具有體面的工具）規範語言，它們也允許某些形式的代碼。有些人發誓AsmL，但我不是粉絲。

不久，我認爲Agda 2將很好地滿足這個利基，但它仍處於全面發展階段。人們也可以說Coq已經完成了這個角色（因爲程序提取），但我也不是粉絲。