0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

OCaml 5.0.0 正式发布

OSC开源社区 ? 来源: OSC开源社区 ? 作者: OSC开源社区 ? 2022-12-19 09:36 ? 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

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://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • API
    API
    +关注

    关注

    2

    文章

    1738

    浏览量

    64625
  • ML
    ML
    +关注

    关注

    0

    文章

    153

    浏览量

    35163

原文标题:OCaml 5.0.0 正式发布

文章出处:【微信号:OSC开源社区,微信公众号:OSC开源社区】欢迎添加关注!文章转载请注明出处。

收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    【汇思博SEEK100开发板试用体验】开发环境安装配置

    ??DevEco Studio 5.0.0 Release??版本(官网直达) 避坑提示:实测5.1.1版本存在SDK下载失效问题,新版兼容性待优化 ??驱动配置流程?? 当设备管理器出现HDC
    发表于 08-20 21:43

    使用FX3 SDK发布源代码是否违反许可?

    使用 FX3 SDK 发布源代码是否违反许可? CYPRESS?EZ-USB? FX3 SDK1.3licenselicense.txt ”4. 专有权利; 到“您同意对源代码保密。” 那里写着一句话,所以我想问一下以确定。
    发表于 05-08 06:54

    发布AG32VF407 NANO开发板

    发布AG32VF407 NANO开发板 为了帮助用户更快的上手熟悉AG32的开发,我们最新发布了AG32VF407 NANO开发板,该开发板可以作为核心板,直接嵌入到已有产品当中,帮助用户快速
    发表于 04-17 09:18

    使用RTD5.0.0的s32k312,C40_Ip擦除pflash存在一些问题求解决

    我正在使用 RTD5.0.0 的 s32k312,C40_Ip擦除 pflash 存在一些问题: Erase block0(0x420000-0x500000) failed
    发表于 04-11 06:53

    求助,关于S32K342 IAR启动代码问题求解

    与链接类似的问题S32K344 IAR 启动代码问题 (SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410) export the project from SDK
    发表于 04-10 07:12

    求助,关于S32K388启用了DCache的lwip问题求解

    ASRR21-11 版本 5.0.0这FreeRTOSversion used 为S32K3 FreeRTOS 11.1.0 版本 5.0.0 CD01和TCPIP 堆栈version 为S32K3
    发表于 04-02 07:35

    Design Studio 3.6.0配置错误怎么解决?

    在尝试配置其他 SPI 接口时,我不断遇到 RTD 5.0.0 的 DS 3.6.0 上的错误。 任何想法可能导致这种情况的原因吗?我尝试卸载并重新安装 DS 和 RTD,但遇到了相同的错误。如果这
    发表于 03-28 07:53

    为什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中,SPI的StartNotification是不可选项?

    为什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中,SPI的StartNotification是不可选项?
    发表于 03-28 06:17

    S32DS软件编译报错,安装SDK报错的原因?

    在编译工程时报错,提示缺少头文件,查找本机,确实没有头文件,应该是库文件或者SDK安装缺失,然后尝试安装库文件时,发现安装“SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410_DesignStudio_updatesite.zip”文件时报错,如下图所示 ?
    发表于 03-21 06:23

    使用pthread_setspecific函数报错的原因?

    rtt代码是5.0.0版本 在bsp下的qemu-vexpress-a9环境下执行 int main(void) { pthread_t pa, pb; pthread_key_t p_key
    发表于 03-20 06:55

    rtsmart开启C++特性支持后,工具链编译内核不通过怎么解决?

    ,然后去官网中下载最新的12.2.0版本的arm-linux-musleabi去编译时报 不开C++支持的时候,使用7.3.0版本的arm-linux-musleabi编译器编译没问题,rtthread 版本是5.0.0
    发表于 03-10 08:06

    DLP6500FYE在官网上下的最新的GUI界面5.0.0版本,打开程序为什么会这样,打不开怎么解决?

    请问我在官网上下的最新的GUI界面5.0.0版本,打开程序为什么会这样,打不开
    发表于 02-24 08:21

    OpenHarmony-5.0.0的RK3588始终编译不过去,有大佬有开源方案可以参考一下吗?

    目前把openHarmony的5.1版本的RK3588编译过去了 但是openHarmony-5.0.0的RK3588始终编译不过去,有大佬有开源方案可以参考一下吗?
    发表于 01-13 16:04

    HarmonyOS开发指导类文档更新速递(下)

    伴随着HarmonyOS 5.0.0 Release、HarmonyOS 5.0.1 Release版本的发布,HarmonyOS官网文档也带来了不少上新内容。本期HarmonyOS NEXT开发者
    的头像 发表于 12-30 09:54 ?1354次阅读
    HarmonyOS开发指导类文档更新速递(下)

    dayu200 rk3568 openharmony5.0 sim卡 通话服务

    想请问一下有人在dayu200 rk3568上插过sim卡并且成功完成过通话服务吗? 我现在在dayu200上烧录了openHarmony release 5.0.0版本的镜像,在上面插上了sim卡,但是仍然显示未检测到sim卡? 网上没有找到类似的情况,希望路过大佬能够给一点解决的思路或者办法?
    发表于 12-26 16:52