(资料图)

1、SML是指Standard Meta-languageML(Meta-Language)是一门较早的Functional Language,是当时Type System理论发展到巅峰时期的作品。

2、由于Type System和定理的机器证明之间的强烈对应性质，ML从设计之初，就主要被广泛用于定理的机器证明领域,而Lisp，则是较为大众化的Functional Programming language，活跃在AI的各个领域。

3、ML后来出现了很多方言，例如Caml。

4、为了结束混乱局面，于是人们开始着手制定ML的标准，标准化后的ML称为Standard ML(SML)。

本文就为大家分享到这里，希望小伙伴们会喜欢。