搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統(tǒng)消息
      • 評論與回復(fù)
      VIP于 到期 續(xù)費(fèi)
      登錄后你可以
      • 下載海量資料
      • 學(xué)習(xí)在線課程
      • 觀看技術(shù)視頻
      • 寫文章/發(fā)帖/加入社區(qū)
      會(huì)員中心
      創(chuàng)作中心
      發(fā)布
      創(chuàng)作活動(dòng)

      完善資料讓更多小伙伴認(rèn)識(shí)你，還能領(lǐng)取20積分哦，立即完善>

      3天內(nèi)不再提示

      OCaml 5.0.0 正式發(fā)布

      OSC開源社區(qū) ? 來源： OSC開源社區(qū) ? 作者： OSC開源社區(qū) ? 2022-12-19 09:36 ? 次閱讀
      OCaml 是一個(gè)函數(shù)式、指令式、模塊化、面向?qū)ο蟮耐ㄓ玫?a target="_blank">編程語言，源自 ML (Meta Language) 語言家族。OCaml 5.0.0 近日已正式發(fā)布，主要更新亮點(diǎn)是引入了全新的運(yùn)行時(shí)環(huán)境，支持共享的內(nèi)存并行性和效果處理程序。所謂共享的內(nèi)存并行性是指Multicore OCaml。它通過 domain 增加了對并行共享內(nèi)存的支持，并通過 effect handler（無語法支持）增加了對并發(fā) (direct-style concurrency) 的支持。Multicore OCaml 還打算向后兼容 —— 包括語言特性、C API 以及單線程代碼的性能方面。由于 OCaml 5 完全重寫了 OCaml 運(yùn)行時(shí)環(huán)境。因此，與常規(guī)的 OCaml 版本相比，OCaml 5.0.0 是更具實(shí)驗(yàn)性的 OCaml 版本。官方公告寫道，OCaml 5.0.0 兼容 OCaml 4，能與 OCaml 4 工作的代碼應(yīng)該也能與 OCaml 5 工作。目前已知的例外情況是：

      • 移除了很多早已廢棄的函數(shù)和模塊

      • 改變了內(nèi)部運(yùn)行時(shí) API

      • ephemerons 的性能目前嚴(yán)重下降

      在此版本中，原生編譯器僅支持 x86-64 和 arm64 架構(gòu)。操作系統(tǒng)方面，支持 Linux、BSD、macOS 和 Windows 上的 mingw64。團(tuán)隊(duì)稱計(jì)劃恢復(fù)對大多數(shù)以前支持的體系結(jié)構(gòu)和操作系統(tǒng)的支持，并在明年解決剩余的已知問題。在 OCaml 5 的成熟期，OCaml 4.14 分支將通過定期向后移植 OCaml 5 分支的錯(cuò)誤修復(fù)來維護(hù)。OCaml 4.14 分支的下一個(gè)版本 OCaml 4.14.1 應(yīng)該很快跟進(jìn) OCaml 5。下載地址：https://github.com/ocaml/ocaml/releases/tag/5.0.0相關(guān)鏈接：https://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974

      聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問題，請聯(lián)系本站處理。 舉報(bào)投訴
      • API
        API
        +關(guān)注

        關(guān)注

        2

        文章

        1465

        瀏覽量

        61680
      • ML
        ML
        +關(guān)注

        關(guān)注

        0

        文章

        144

        瀏覽量

        34527

      原文標(biāo)題：OCaml 5.0.0 正式發(fā)布

      文章出處：【微信號：OSC開源社區(qū)，微信公眾號：OSC開源社區(qū)】歡迎添加關(guān)注！文章轉(zhuǎn)載請注明出處。

      收藏 人收藏

        評論

        相關(guān)推薦

        星閃技術(shù)已經(jīng)發(fā)布一年多了，應(yīng)用何去何從？

        星閃技術(shù)已經(jīng)發(fā)布一年多了，想必大家也都有關(guān)注，大家觀察觀察身邊所經(jīng)歷的項(xiàng)目及其他無線應(yīng)用場景，來說說星閃技術(shù)應(yīng)用都有哪些落腳點(diǎn)。咱們踴躍討論發(fā)言
        發(fā)表于 09-13 09:46

        stm32mp135 starter package啟動(dòng)后屏幕不顯示是怎么回事？

        安裝的5.0.0的starter package的鏡像 en.flash-stm32mp1-openstlinux-6-1-yocto-mickledore-mp1-v23-06-21.tar 燒寫
        發(fā)表于 07-18 06:09

        ESP8266為什么無法在網(wǎng)站上發(fā)布數(shù)據(jù)？

        我正在研究ESP8266。 固件版本 AI-v0.9.5.0 AT Firmware.bin。 當(dāng)我開始這樣做時(shí)，我能夠在 thingspeak.com 上發(fā)布我的數(shù)據(jù)，但現(xiàn)在我無法發(fā)布我的數(shù)據(jù)
        發(fā)表于 07-16 07:25

        ROS讓機(jī)器人開發(fā)更便捷，基于RK3568J+Debian系統(tǒng)發(fā)布！

        SD啟動(dòng)卡插至評估板Micro SD卡槽。亦可通過SD升級卡或USB固化方式將系統(tǒng)固化至eMMC。 基于Python語言的通信演示 案例功能：基于Python語言，啟動(dòng)ROS節(jié)點(diǎn)發(fā)布與訂閱消息，實(shí)現(xiàn)
        發(fā)表于 07-09 11:38

        espidf5.0.0版本的LCD中的rgb_panel例程怎么跑起來？

        想請問一下 espidf5.0.0版本的LCD中的rgb_panel例程怎么跑起來，之前跑起來過幾次，不過現(xiàn)在完全跑不起來了 報(bào)錯(cuò)代碼中出現(xiàn)的錯(cuò)誤均為例程中的源代碼，且其頭文件都是有包含的，請問
        發(fā)表于 06-12 08:04

        stm32cubemx-5.0.0 , x-cube-mcsdk-5.3.1搭建電機(jī)調(diào)試環(huán)境，修改完參數(shù)每次點(diǎn)擊Generation都報(bào)錯(cuò)的原因？

        自己win7系統(tǒng)，安裝了java運(yùn)行環(huán)境，stm32cubemx-5.0.0 , x-cube-mcsdk-5.3.1 進(jìn)行搭建電機(jī)調(diào)試環(huán)境，修改完參數(shù)每次點(diǎn)擊Generation 都報(bào)錯(cuò)
        發(fā)表于 04-17 08:31

        最近國產(chǎn)的rsic-v的mcu有什么新品發(fā)布

        如題，最近國產(chǎn)的rsic-v的mcu有什么新品發(fā)布。那種超低功耗的！
        發(fā)表于 04-13 07:58

        鴻蒙應(yīng)用/元服務(wù)開發(fā)實(shí)戰(zhàn)-上架發(fā)布過程中三個(gè)注意項(xiàng)

        一、 私鑰是錯(cuò)誤的 二、 沒有icon圖標(biāo)，一個(gè)在外層的APP文件里面，一個(gè)在里面的那個(gè)資源文件里面。 三、 一個(gè)賬戶中，發(fā)布證書所有鴻蒙應(yīng)用元服務(wù)是共享一個(gè)的。
        發(fā)表于 02-22 10:19

        鴻蒙原生應(yīng)用元服務(wù)實(shí)戰(zhàn)-發(fā)布時(shí)多設(shè)備選擇注意事項(xiàng)

        在可公開可獲取DevEco Studio最新版本，Stage模型ArkTSAPI9開發(fā)元服務(wù)HarmonyOS4現(xiàn)不支持平板等;但是元服務(wù)在發(fā)布時(shí)是可選平板、智慧屏電視設(shè)備發(fā)布。 如果開發(fā)人員與上架
        發(fā)表于 02-21 10:22

        鴻蒙原生應(yīng)用/元服務(wù)開發(fā)-發(fā)布基礎(chǔ)類型通知類型與接口

        。基礎(chǔ)類型通知呈現(xiàn)效果示意圖如下所示。 圖1基礎(chǔ)類型通知呈現(xiàn)效果示意圖 接口說明：通知發(fā)布接口如下表所示，不同發(fā)布類型通知由NotificationRequest的字段攜帶不同的信息。 本文主要參考HarmonyOS官方文檔整理而成
        發(fā)表于 01-03 14:46

        鴻蒙原生應(yīng)用/元服務(wù)開發(fā)-發(fā)布基礎(chǔ)類型通知開發(fā)步驟

        對象，并發(fā)布通知。 1.普通文本類型通知由標(biāo)題、文本內(nèi)容和附加信息三個(gè)字段組成，其中標(biāo)題和文本內(nèi)容是必填字段。 let notificationRequest = { id: 1, content
        發(fā)表于 01-02 15:03

        AGM Micro發(fā)布兼容STM32的MCU產(chǎn)品系列

        AGM Micro發(fā)布了兼容STM32的MCU產(chǎn)品系列，推出具有低延遲高靈活性的功能模塊MCU產(chǎn)品系列。AGM32產(chǎn)品系列對32位MCU的廣大客戶群提供國產(chǎn)替代和新智能應(yīng)用市場的開拓。 此次AGM
        發(fā)表于 12-29 11:18

        ROS讓機(jī)器人開發(fā)更便捷，基于RK3568J+Debian系統(tǒng)發(fā)布！

        。 基于Python語言的通信演示案例功能：基于Python語言，啟動(dòng)ROS節(jié)點(diǎn)發(fā)布與訂閱消息，實(shí)現(xiàn)訂閱消息節(jié)點(diǎn)與發(fā)布消息節(jié)點(diǎn)之間的實(shí)時(shí)通信。請將評估板上電啟動(dòng)，執(zhí)行如下命令，配置評估板測試環(huán)境
        發(fā)表于 11-30 16:01

        鴻蒙原生應(yīng)用/元服務(wù)開發(fā)-AGC分發(fā)如何申請發(fā)布證書

        申請發(fā)布證書 發(fā)布證書由AGC頒發(fā)的、為HarmonyOS應(yīng)用配置簽名信息的數(shù)字證書，可保障軟件代碼完整性和發(fā)布者身份真實(shí)性。證書格式為.cer，包含公鑰、證書指紋等信息。 說明 請確保您的開發(fā)者
        發(fā)表于 11-27 15:56

        OpenAtom OpenHarmony 三方庫創(chuàng)建發(fā)布及安全隱私檢測

        ://ohpm.openharmony.cn/，以下簡稱“OHPM平臺(tái)”或“本平臺(tái)”）來分享自己的三方庫（無論是否已經(jīng)開源），能讓更多的開發(fā)者免費(fèi)使用 ， 繁榮OpenHarmony應(yīng)用生態(tài)。本文將具體介紹三方庫的發(fā)布與安全
        發(fā)表于 11-13 17:27