uc电脑园 – 你的电脑系统管家
意见反馈 加入收藏 最新系统 系统排行
网站导航
电脑系统
Windows
Win10 Win7 Winxp Win8 Winserver
Linux
ubuntu uos centos fedora deepin
macOS
High Sierra Mojave Catalina macOS9
品牌系统
雨林木风 深度技术 番茄花园 萝卜家园 Windows 原版 联想OEM原版 Win7 Ghost
注册表
右键设置 开始菜单设置 单机游戏 安全设置 开机速度 注册表大全
命令行
MSDOS unix ipconfig Ping tracert 命令行大全
浏览器插件
谷歌浏览器插件 火狐浏览器插件 edge浏览器插件 qq浏览器插件 Adblock Plus Momentum 浏览器插件
计算机历史
游戏历史 互联网发展史 网络历史 CPU历史 手机历史 笔记本电脑历史 微软历史 电脑历史大全
文章
Win10 教程 Win7 教程 计算机教程大全 系统安装教程 百科 新闻
其他
Win10 64位 Ghost 电脑快捷键大全 计算机基础知识 原版镜像安装
微信公众号

一对一的技术服务支持！

当前位置：uc系统园 > 历史 > 编程语言历史 > ML语言是由爱丁堡大学的RobinMilner及他人在1978年左右开发的

ML语言是由爱丁堡大学的RobinMilner及他人在1978年左右开发的

舞夕之 发表于 2020-08-11 17:06
浏览次数：
在手机上阅读

ML是一个通用的函数式编程语言，它是由爱丁堡大学的RobinMilner及他人在1978年左右开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。

ML语言是由爱丁堡大学的RobinMilner及他人在1978年左右开发的

扩展阅读：

ML是一个通用的函数式编程语言，它是由爱丁堡大学的RobinMilner及他人在1978年左右开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算、多态及Λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。

ML语言是由爱丁堡大学的RobinMilner及他人在1978年左右开发的

ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言例如Haskell很不一样。
ML特性有惰性求值的求值策略，一阶类型函数， 带有垃圾收集的自动内存管理， 参数多态，静态数据类型，类型推断，代数数据类型，模式匹配和异常处理。
不像Haskell，ML使用表达式求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。
查看

更多在 1978 年发生的计算机历史大事件

更多 编程语言历史 大事件

如此好文，分享给朋友
上一篇
1986年1月，第一个个人电脑病毒——大脑病毒（BRAIN ）在巴基斯坦诞生
下一篇
Android
关注我们 微信公众号：uc电脑园
一对一的电脑安装，系统服务支持
大家正在看
本文标签
ML语言
发表评论
uc电脑园网友

未知的网友
验证码：
评论列表
共0条
电脑系统
Windows 10 Win10 64位 Win7 Ghost Win7旗舰版 Windows xp XP SP3完美版 OEM系统
注册表
远程桌面 开始菜单 系统必备 内存清理 个性化 处理器
命令行
msdos chkdsk cd cls
计算机历史
显示器历史 苹果系统历史 打印机历史 中国互联网 MSDOS历史 内存条历史
文章
Win10教程 WinXP教程 天梯图 uos系统下载
浏览器插件
360安全浏览器插件 搜狗浏览器插件 360极速浏览器插件

本站发布的资源和内容仅为个人学习测试使用，请在下载后24小时内删除，不得用于任何商业用途，否则后果自负，请支持购买正版软件！
如侵犯到您的权益,请及时通知我们，我们会及时处理，对uc电脑园有任何投诉或建议，可点击意见反馈或与管理员联系. QQ：qq_num
uc电脑园 版权所有 (C)2020 www.uc23.net All Rights Reserved 版权所有
冀ICP备2021025337号-1