SML是什么意思

SML是什么意思

SML是指Standard Meta-language ML(Meta-Language)是一门较早的Functional Language,是当时Type System理论发展到巅峰时期的作品。由于Type System和定理的机器证明之间的强烈对应性质，ML从设计之初，就主要被广泛用于定理的机器证明领域,而Lisp，则是较为大众化的 Functional Programming language，活跃在AI的各个领域。ML后来出现了很多方言，例如Caml。为了结束混乱局面，于是人们开始着手制定ML的标准，标准化后的ML称 为Standard ML(SML) SML是指 Spatially Modulated Light 在财务管理中 SML指的是Security Market Line，即证券市场线。 在衣物尺码中 S指的是小号尺码（small） M指的是中号尺码（medium） L指的是大号尺码（large） 还有加大号如：xl ，xxl等 在图像处理中，SML是指Gonzalez在1987年提出的单映射规则（single mapping law，SML），首先寻找能满足|∑ps(si)-∑pu(uj)| 最小的k和l（ps()和pu()的求和上限），然后把ps(si)映射到pu(uj)中去。 SML(specified mechanical load)额定机械负荷，电工术语

标签：SML