为什么ML称为元语言?

时间:2018-05-23 14:23:33

标签: metaprogramming sml smlnj ml metalanguage

ML(及其变体,例如SML)如何成为元语言。 ML描述的对象语言是什么?是因为函数被认为是值,因此代码的处理方式与数据相同吗?

1 个答案:

答案 0 :(得分:2)

它实际上来自其原始用例。

ML被设计为编写定理证明器的语言。在这种情况下,ML是用于描述理论的编程语言。它是理论之上的语言:元语言。或者,正如米尔纳将其置于original paper

  

我们还讨论将这些结果扩展到更丰富的语言;基于W的类型检查算法实际上已经实现并正常工作,   对于爱丁堡LCF系统中的元语言ML。

名称卡住了,所以现在它被称为这样,即使它没有描述一般意义上的对象语言。