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 的性能目前嚴重下降
聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。
舉報投訴
-
API
+關注
關注
2文章
1559瀏覽量
63469 -
ML
+關注
關注
0文章
150瀏覽量
34960
原文標題:OCaml 5.0.0 正式發布
文章出處:【微信號:OSC開源社區,微信公眾號:OSC開源社區】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
相關推薦
熱點推薦
使用FX3 SDK發布源代碼是否違反許可?
使用 FX3 SDK 發布源代碼是否違反許可?
CYPRESS?EZ-USB? FX3 SDK1.3licenselicense.txt ”4. 專有權利; 到“您同意對源代碼保密?!?那里寫著一句話,所以我想問一下以確定。
發表于 05-08 06:54
使用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
為什么在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
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開發者

dayu200 rk3568 openharmony5.0 sim卡 通話服務
想請問一下有人在dayu200 rk3568上插過sim卡并且成功完成過通話服務嗎?
我現在在dayu200上燒錄了openHarmony release 5.0.0版本的鏡像,在上面插上了sim卡,但是仍然顯示未檢測到sim卡?
網上沒有找到類似的情況,希望路過大佬能夠給一點解決的思路或者辦法?
發表于 12-26 16:52
stm32mp135 starter package啟動后屏幕不顯示是怎么回事?
安裝的5.0.0的starter package的鏡像
en.flash-stm32mp1-openstlinux-6-1-yocto-mickledore-mp1-v23-06-21.tar
燒寫
發表于 07-18 06:09
ESP8266為什么無法在網站上發布數據?
我正在研究ESP8266。
固件版本 AI-v0.9.5.0 AT Firmware.bin。
當我開始這樣做時,我能夠在 thingspeak.com 上發布我的數據,但現在我無法發布我的數據
發表于 07-16 07:25
ROS讓機器人開發更便捷,基于RK3568J+Debian系統發布!
SD啟動卡插至評估板Micro SD卡槽。亦可通過SD升級卡或USB固化方式將系統固化至eMMC。
基于Python語言的通信演示
案例功能:基于Python語言,啟動ROS節點發布與訂閱消息,實現
發表于 07-09 11:38
espidf5.0.0版本的LCD中的rgb_panel例程怎么跑起來?
想請問一下
espidf5.0.0版本的LCD中的rgb_panel例程怎么跑起來,之前跑起來過幾次,不過現在完全跑不起來了
報錯代碼中出現的錯誤均為例程中的源代碼,且其頭文件都是有包含的,請問
發表于 06-12 08:04
評論