ML是什麼意思

ml 是中国大陆人创造发明英文 "make love" 的缩写，中文就是做爱的意思。有些无知的人，认为这样写比较“含蓄”。其实，他们不知道在中国古代，早已有一些含蓄的词汇来表达同样的意思。例如： 房事，云雨一番，同房，等。显示出现代人对中国古代文化的缺乏。常见于中国大陆网站，香港、台湾的网站也不多见。因为既不是拼音，也不是正规的英文缩写。导致很多懂英文，懂中文的人看了，一头雾水。还要问别人，才知道是什么意思。

ML 是一个通用的函数式编程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算、多态及∧演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。
ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数是编程语言??例如Haskell??很不一样。
ML特性有惰性求值的求值策略，一阶类型函数， 带有垃圾收集的自动内存管理， 参数多态，静态数据类型，类型推断，代数数据类型，模式匹配和异常处理。
不像Haskell，ML使用热情求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。
今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F# － 针对Microsoft .NET平台的开放研究项目。 ML中的思想影响了众多的语言，例如Haskell，Cyclone和Nemerle。
ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机）， 但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。

make love
做爱的意思 少儿不宜

怎么不说是"美丽"呢,有写地方就是这样说的

嗯。。。
4楼解释很科学！！！受益匪浅那

……
ML. = make love...