OCaml 4.11.0 发布，将函数式语言 Caml 在面向对象上进行延展-低调大师

OCaml 4.11.0 发布，将函数式语言 Caml 在面向对象上进行延展

2020-08-20 682

OCaml 4.11.0（Objective Caml）已经发布。OCaml 是 Caml 编程语言的主要实现，Caml 是函数式编程语言，OCaml 将 Caml 语言在面向对象方面做了延展，它的扩展语言还有基于微软 .net 平台的 F# (fsharp) 语言。Caml 的代码大多可以在 F# 中使用。

官方表示该版本专门用于纪念 Blaise Pascal（布莱士帕斯卡，压强单位“帕斯卡”即以他的名字命名）。帕斯卡是法国数学家、物理学家、哲学家、散文家，逝世于 1662 年 8 月 19 日。他在计算机科学方面的贡献主要包括设计并制作了一台能自动进位的加减法计算装置，被称为是世界上第一台数字计算器，为以后的计算机设计提供了基本原理；以积分学的原理解决了摆线问题，对莱布尼茨建立微积分学有很大启发等。

此版本亮点包括：

新的统计内存分析器 Statmemprof
新的检测运行时，以标准格式记录运行时统计信息
新的 RISC-V 架构的本地后端
改进引用函数名的回溯
支持递归和尚未封装的类型
ppxs 引用扩展语法

详情查看更新说明：

https://discuss.ocaml.org/t/ocaml-4-11-0-released/6265

微信关注我们

原文链接：https://www.oschina.net/news/118039/ocaml-4-11-0-released

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Oracle Solaris 11.4 SRU24 发布，类 Unix 操作系统

Oracle Solaris 11.4 SRU24已发布。用户可通过支持存储库中的“pkg 更新”或从My Oracle Support Doc ID 2433412.1下载 SRU 来获得。该 SRU 引入了以下新功能和组件：资源管理器 20.2 现在可用添加对 SAMSUNG 7.68TB（MS9AC2DD2SUN7.6T）和 200GB（MS9AC2DD6SUN200G）的支持 timezone data 已更新为 2020a 在 Solaris 中交付 SpiderMonkey 60 交付适用于 Python 3.7 的 iso8601 交付适用于 Python 3.7 的 netaddr 交付适用于 Python 3.7 的 iso8601 为 python 3.7 交付 pycups 将 pyrsistent python 软件包添加到 Solaris中将 chardet python 软件包添加到 Solaris 中将 bcrypt python 软件包添加到 Solaris 中感兴趣的用户可以在My Oracle Support Doc 2699976.1 ...

2020-08-20

693

无论在开源项目贡献中还是研发团队的协作中，Pull Request 都是非常关键的一环，Gitee 也一直在努力优化 Pull Request 的使用体验。此前 Gitee 已经陆续上线了「轻量级 Pull Request」以及「Pull Request 代码已阅」功能，近期我们再次对 Gitee 的 Pull Request 模块进行了如下的升级： Pull Request 代码多行评论当审查者对一条 PR 进行审查时，可以使用评论功能对代码提出修改意见或发表看法，但想要进行多行代码的评论的话就变得很麻烦。 Gitee 现在已经支持审查者可以通过拖拽的方式选中多行代码进行评论，信息更全面，沟通更清晰。评论支持显示代码上下文以前在 PR 中遇到对代码的评论时，需要点击评论下方的「链接地址」才能看到对应的代码，体验并不是很好。现在 Gitee 已经支持了对代码的评论支持显示当时评论的代码内容及上下文，当对应评论的代码行被更新或对历史代码进行评论，评论都将自动标记为过期状态。提交 PR 时自动指定审查者以前在 Gitee 提交 Pull Request 时，需要创建 PR 的...

2020-08-19

675

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。