SML是指St来自andardMeta-language
ML(Meta-纪Language)是一门较早的住当入落击而斤皇士突FunctionalL端觉改问投九anguage,是当时TypeSystem理论发展到巅峰时期的作品。由于TypeSystem和定理的机器证明之间的强烈对应性质，ML从设计之初，就主要被广泛用于定理的机器证明领域,而Lisp，则是较为大众化的FunctionalPro占长仍gramminglanguage，活跃在AI的各个领域。ML后来出现了很多方言，例如Caml。为了结束混乱局面，于是人们开始着手制定ML的标准，标准化后的ML称为StandardML(SML)
标签：SML
版权声明：文章由 知识百答 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.zhshbaida.com/life/38345.html
