ML(及其变体,例如SML)如何成为元语言。 ML描述的对象语言是什么?是因为函数被认为是值,因此代码的处理方式与数据相同吗?
答案 0 :(得分:2)
它实际上来自其原始用例。
ML被设计为编写定理证明器的语言。在这种情况下,ML是用于描述理论的编程语言。它是理论之上的语言:元语言。或者,正如米尔纳将其置于original paper:
我们还讨论将这些结果扩展到更丰富的语言;基于W的类型检查算法实际上已经实现并正常工作, 对于爱丁堡LCF系统中的元语言ML。
名称卡住了,所以现在它被称为这样,即使它没有描述一般意义上的对象语言。