ml语言
基于1个网页-相关网页
延伸ML语言 Extended ML
ML 是一个通用的函数式编程语言它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的它的语法是从ISWIM得到的灵感作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的之前的元语言是pplambda它联合了一阶逻辑演算多态及Λ演算它使用了Hindley-Milner类型推论算法来推测大多数值的类型而不需要四处使用注解
详细内容
应用推荐
模块上移
模块下移
不移动