OCaml 5.0.0 正式发布-低调大师

OCaml 5.0.0 正式发布

2022-12-18 336 89

OCaml 是一个函数式、指令式、模块化、面向对象的通用的编程语言，源自 ML (Meta Language) 语言家族。

OCaml 5.0.0 近日已正式发布，主要更新亮点是引入了全新的运行时环境，支持共享的内存并行性和效果处理程序。

所谓共享的内存并行性是指 Multicore OCaml。它通过 domain 增加了对并行共享内存的支持，并通过 effect handler（无语法支持）增加了对并发 (direct-style concurrency) 的支持。Multicore OCaml 还打算向后兼容 —— 包括语言特性、C API 以及单线程代码的性能方面。

由于 OCaml 5 完全重写了 OCaml 运行时环境。因此，与常规的 OCaml 版本相比，OCaml 5.0.0 是更具实验性的 OCaml 版本。官方公告写道，OCaml 5.0.0 兼容 OCaml 4，能与 OCaml 4 工作的代码应该也能与 OCaml 5 工作。目前已知的例外情况是：

移除了很多早已废弃的函数和模块
改变了内部运行时 API
ephemerons 的性能目前严重下降

在此版本中，原生编译器仅支持 x86-64 和 arm64 架构。操作系统方面，支持 Linux、BSD、macOS 和 Windows 上的 mingw64。团队称计划恢复对大多数以前支持的体系结构和操作系统的支持，并在明年解决剩余的已知问题。

在 OCaml 5 的成熟期，OCaml 4.14 分支将通过定期向后移植 OCaml 5 分支的错误修复来维护。OCaml 4.14 分支的下一个版本 OCaml 4.14.1 应该很快跟进 OCaml 5。

下载地址：https://github.com/ocaml/ocaml/releases/tag/5.0.0

微信关注我们

原文链接：https://www.oschina.net/news/221980/ocaml-5-0-0-released

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

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

2022-12-18 07:35:00

Netty 4.1.86.Final 发布

Netty 4.1.86 已正式发布，此版本修复了两个 CVE 安全问题，其中一个被标记为高严重性，并且可以远程触发。此外还修复了其他错误。 HAProxyMessageDecoder 堆栈耗尽 DoS (CVE-2022-41881) HTTP 响应从分配 header 值迭代器中分离出来 (CVE-2022-41915) 恢复 #12888 以解决 HashedWheelTimer 中潜在的任务调度问题 (#13021) 弃用 ObjectEncoder/ObjectDecoder (#12990) HPACK 动态表大小更新必须发生在 header 块的开头 (#12988) Netty 是一个异步事件驱动的网络应用框架，主要用于可维护的高性能协议服务器和客户端的快速开发。下载地址|发布公告

601

2022-12-17 15:12:00

Apache Zeppelin 任意文件删除漏洞

漏洞描述 Apache Zeppelin是一款基于 Web 可实现交互式数据分析的笔记本。 Apache Zeppelin中“Move folder to Trash”功能存在路径遍历漏洞，由于未对接收的url进行过滤处理，攻击者可利用该漏洞删除任意文件。此问题影响Apache Zeppelin Apache Zeppelin版本0.10.0及以前的版本。漏洞名称 Apache Zeppelin 任意文件删除漏洞漏洞类型输入验证不恰当发现时间 2022-12-17 漏洞影响广度一般 MPS编号 MPS-2021-22347 CVE编号 CVE-2021-28655 CNVD编号 - 影响范围 org.apache.zeppelin:zeppelin-zengine@(-∞, 0.10.1) 修复方案将组件 org.apache.zeppelin:zeppelin-zengine 升级至 0.10.1 及以上版本参考链接 https://www.oscs1024.com/hd/MPS-2021-22347 https://nvd.nist.gov/vuln/detail/C...

427

资源下载

更多资源

优质分享Android(本站安卓app)

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

Mario，低调大师唯一一个Java游戏作品

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

Eclipse（集成开发环境）

Eclipse 是一个开放源代码的、基于Java的可扩展开发平台。就其本身而言，它只是一个框架和一组服务，用于通过插件组件构建开发环境。幸运的是，Eclipse 附带了一个标准的插件集，包括Java开发工具（Java Development Kit，JDK）。

Sublime Text 一个代码编辑器

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