OCaml 5.0.0 正式发布-低调大师

OCaml 5.0.0 正式发布

2022-12-18 354

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业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

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 是一个异步事件驱动的网络应用框架，主要用于可维护的高性能协议服务器和客户端的快速开发。下载地址|发布公告

2022-12-18

616

漏洞描述 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...

2022-12-17

443

资源下载

更多资源

Mario

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

腾讯云软件源

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

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。