OCaml 5.0.0 发布首个 Beta 测试版-低调大师

OCaml 5.0.0 发布首个 Beta 测试版

2022-11-21 473

在推出两个 Alpha 版本之后，OCaml 5.0.0 发布了首个 Beta 测试版。目前标准库已达到稳定状态，离正式版的发布越来越近。与上一个 alpha 相比，首个 Beta 版本包含许多小型的内部 runtime 修复补丁，尤其是在 systhreads 库中。

在用户层面，Domain 和 Effect 模块的接口已经被调整为更加向前兼容：

与 effects 相关的异常现在在 Effecŧ 模块中进行定义
Domain.recommended_domain_count值不再是常量，Domain.at_each_spawn函数已被删除

标准库变更：

#11309,#11424,#11427, +#11545: 添加 Domain.recommended_domain_count.
#11423: 将 effect exceptions 移动到 Effect module
#11593: 移除 Domain.at_each_spawn

根据此前的报道，由于 OCaml 5.0 完全重写了 OCaml 运行时，其本身预计将是一个比平时更具实验性的版本。值得注意的是，原生编译器将仅在此 5.0 版本的 ARM64 和 x86-64 架构上可用。

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

详情查看发布公告。

Magician-Route 发布啦

Magician-Route是Magician的官方web组件，由Magician-Web发展而来的新项目，主要是去掉了里面的反射，牺牲了一点易用性，将侧重点放在了性能上，两者的区别主要在于路由和拦截器的创建方式上。 Magician-Web 依然会继续维护，如果大家对反射的性能不是特别抗拒，而且更喜欢Magician-Web的风格，大可放心使用。创建路由由注解的形式改成了传参的形式，每一次的请求都不再需要通过反射来执行了路由了，性能得到了有效提升这样的类可以创建多个，根据你的需求将路由分开创建每个路由内部，如果没有特别的需要就不需要加try-catch，框架内部做了处理，一旦发生异常，会将异常信息以json的形式响应给客户端直接返回需要响应的对象，框架会自动转成json并返回给客户端，你也可以采用如下示例中“Magician的原生响应方式” 将数据返回给客户端，具体可以看Magician文档的《响应参数》 @Route public class DemoRoute implements MagicianInitRoute { @Override pu...

2022-11-21

314

Mageia 9 首个 Alpha 测试版已发布。公告称 Mageia 9 升级了许多软件包，同时实现了不少新特性，以及改进现有功能。新版本的控制中心添加了用于删除旧内核的新功能，该功能在 Mageia 9 中默认自动启用，用户也可以手动配置以关闭或启用。此外，Mageia 9 将桌面环境 Plasma 更新到 5.25，以及升级 systemd 后，启动时间也有所改进。 Mageia 9 提供和 Mageia 8 相同介质的 ISO 镜像，适用于 32 位和 64 位系统。其中包括 64 位 live 镜像的 Plasma, GNOME 和 Xfce 桌面环境，以及 32 位 live 镜像的 Xfce 桌面环境。其他更新亮点包括减少磁盘占用空间和最小安装（禁用推荐安装的软件包）的大小，据称这是自Mageia 4 以来最小的版本。此外 RPM 数据库已迁移到现代的 SQLite，不再使用已放弃维护的 Berkeley DB。详情查看 Release Notes。部分重要软件更新： Linux Kernel – 6.0.5 glib – 2.36 gcc – 12.2.1 rp...

2022-11-22

532

资源下载

更多资源

腾讯云软件源

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

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

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

Sublime Text

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