OCaml 5.0.0 正式發(fā)布
OCaml 是一個函數式、指令式、模塊化、面向對象的通用的編程語言，源自 ML (Meta Language) 語言家族。OCaml 5.0.0 近日已正式發(fā)布，主要更新亮點是引入了全新的運行時環(huán)境，支持共享的內存并行性和效果處理程序。所謂共享的內存并行性是指Multicore OCaml。它通過 domain 增加了對并行共享內存的支持，并通過 effect handler（無語法支持）增加了對并發(fā) (direct-style concurrency) 的支持。Multicore OCaml 還打算向后兼容 —— 包括語言特性、C API 以及單線程代碼的性能方面。由于 OCaml 5 完全重寫了 OCaml 運行時環(huán)境。因此，與常規(guī)的 OCaml 版本相比，OCaml 5.0.0 是更具實驗性的 OCaml 版本。官方公告寫道，OCaml 5.0.0 兼容 OCaml 4，能與 OCaml 4 工作的代碼應該也能與 OCaml 5 工作。目前已知的例外情況是：
-
移除了很多早已廢棄的函數和模塊
-
改變了內部運行時 API
-
ephemerons 的性能目前嚴重下降
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規(guī)問題，請聯系本站處理。
舉報投訴
-
API
+關注
關注
2文章
1965瀏覽量
65746 -
ML
+關注
關注
0文章
154瀏覽量
35328
原文標題：OCaml 5.0.0 正式發(fā)布
文章出處：【微信號：OSC開源社區(qū)，微信公眾號：OSC開源社區(qū)】歡迎添加關注！文章轉載請注明出處。
發(fā)布評論請先 登錄
相關推薦
熱點推薦
V5.0.0 ps 打印顯示線程 error 狀態(tài)全為 EINTRPT,，為什么？
最近我將RTT版本升級了一下，從4.1.1升級到5.0.0，運行時通過控制臺 ps之指令觀察，發(fā)現線程 error 都報 EINTRPT, 但 4.1.1 時都是 OK.
以下是 RTT 為 4.1.1 時的 ps 反饋
以下是 RTT 為 5.0.0 時的反饋
發(fā)表于 10-13 06:46
元服務發(fā)布準備工作
發(fā)布元服務前，請詳細了解華為應用市場的審核要求，并提前準備發(fā)布所需的文件、資源，以便您能順利、快速通過發(fā)布審核流程。
仔細閱讀元服務審核指南，了解發(fā)布元服務至華為應用市場需要遵循的規(guī)則
發(fā)表于 10-10 15:48
rtsmart開啟C++特性支持后，工具鏈編譯內核不通過怎么解決？
，然后去官網中下載最新的12.2.0版本的arm-linux-musleabi去編譯時報
不開C++支持的時候，使用7.3.0版本的arm-linux-musleabi編譯器編譯沒問題，rtthread 版本是5.0.0
發(fā)表于 09-29 07:49
AppGallery Connect（HarmonyOS 5及以上） --公開測試創(chuàng)建并發(fā)布測試版本（一）
版本號規(guī)范
測試版本的VersionCode必須高于發(fā)布過的全網版本的VersionCode。
測試版本的VersionCode不能低于發(fā)布過的測試版本的VersionCode。
如已安裝的測試版
發(fā)表于 09-26 17:24
rtt5.0.0下lvgl在正點原子stm32f407探索者開發(fā)板V3上mdk編譯報錯怎么解決？
開發(fā)板為正點原子stm32f407探索者V3,在rtt5.0.0版本下加入lvgl及相應的lcd, touch驅動，其它什么功能也沒加，在mdk中編譯，報錯：
Program Size: Code
發(fā)表于 09-22 06:17
創(chuàng)建并發(fā)布測試版本（一）
版本號規(guī)范
測試版本的VersionGode必須高于發(fā)布過的全網版本的VersionGode。
測試版本的VersionCode不能低于發(fā)布過的測試版本的VersionCode。
發(fā)布測試版本
您可
發(fā)表于 09-16 15:21
【匯思博SEEK100開發(fā)板試用體驗】開發(fā)環(huán)境安裝配置
??DevEco Studio 5.0.0 Release??版本（官網直達）
避坑提示：實測5.1.1版本存在SDK下載失效問題，新版兼容性待優(yōu)化
??驅動配置流程??
當設備管理器出現HDC
發(fā)表于 08-20 21:43
使用RTD5.0.0的s32k312，C40_Ip擦除pflash存在一些問題求解決
我正在使用 RTD5.0.0 的 s32k312，C40_Ip擦除 pflash 存在一些問題：
Erase block0(0x420000-0x500000) failed
發(fā)表于 04-11 06:53
求助，關于S32K342 IAR啟動代碼問題求解
與鏈接類似的問題S32K344 IAR 啟動代碼問題 （SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410）
export the project from SDK
發(fā)表于 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
發(fā)表于 04-02 07:35
為什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中，SPI的StartNotification是不可選項？
為什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中，SPI的StartNotification是不可選項？
發(fā)表于 03-28 06:17
S32DS軟件編譯報錯，安裝SDK報錯的原因？
在編譯工程時報錯，提示缺少頭文件，查找本機，確實沒有頭文件，應該是庫文件或者SDK安裝缺失，然后嘗試安裝庫文件時，發(fā)現安裝“SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410_DesignStudio_updatesite.zip”文件時報錯，如下圖所示
?
發(fā)表于 03-21 06:23
DLP6500FYE在官網上下的最新的GUI界面5.0.0版本，打開程序為什么會這樣，打不開怎么解決？
請問我在官網上下的最新的GUI界面5.0.0版本，打開程序為什么會這樣，打不開
發(fā)表于 02-24 08:21
OpenHarmony-5.0.0的RK3588始終編譯不過去，有大佬有開源方案可以參考一下嗎？
目前把openHarmony的5.1版本的RK3588編譯過去了
但是openHarmony-5.0.0的RK3588始終編譯不過去，有大佬有開源方案可以參考一下嗎？
發(fā)表于 01-13 16:04
HarmonyOS開發(fā)指導類文檔更新速遞(下)
伴隨著HarmonyOS 5.0.0 Release、HarmonyOS 5.0.1 Release版本的發(fā)布，HarmonyOS官網文檔也帶來了不少上新內容。本期HarmonyOS NEXT開發(fā)者
工商網監(jiān)
評論