您好,今天帅帅来为大家解答以上的问题。s/m/l是什么意思的缩写,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)。
本文就为大家分享到这里,希望小伙伴们会喜欢。