导读 您好,今天小花就为大家解答关于司马脸是什么意思，SML是什么意思相信很多小伙伴还不知道,现在让我们一起来看看吧！1、SML是指Standard Met

您好,今天小花就为大家解答关于司马脸是什么意思，SML是什么意思相信很多小伙伴还不知道,现在让我们一起来看看吧！

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)。

本文就讲到这里，希望大家会喜欢。