s/m/l是什么意思的缩写 SML是什么意思

2023-05-01 23:10:06

您好,今天帅帅来为大家解答以上的问题。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)。

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

免责声明:本文来源网友投稿及网络整合仅代表文章作者的个人观点,与本站无关。其原创性、真实性以及文中陈述文字和内容未经本站证实,对本文以及其中全部或者部分内容文字的真实性、完整性和原创性本站不作任何保证或承诺,请读者仅作参考,并自行核实相关内容。投诉邮箱:1765130767@qq.com。
本文地址: