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)重下降
聲明:本文內(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
+關(guān)注
關(guān)注
2文章
1509瀏覽量
62263 -
ML
+關(guān)注
關(guān)注
0文章
149瀏覽量
34692
原文標(biāo)題:OCaml 5.0.0 正式發(fā)布
文章出處:【微信號(hào):OSC開源社區(qū),微信公眾號(hào):OSC開源社區(qū)】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
發(fā)布評(píng)論請先 登錄
相關(guān)推薦
OpenHarmony-5.0.0的RK3588始終編譯不過去,有大佬有開源方案可以參考一下嗎?
目前把openHarmony的5.1版本的RK3588編譯過去了
但是openHarmony-5.0.0的RK3588始終編譯不過去,有大佬有開源方案可以參考一下嗎?
發(fā)表于 01-13 16:04
HarmonyOS開發(fā)指導(dǎo)類文檔更新速遞(下)
伴隨著HarmonyOS 5.0.0 Release、HarmonyOS 5.0.1 Release版本的發(fā)布,HarmonyOS官網(wǎng)文檔也帶來了不少上新內(nèi)容。本期HarmonyOS NEXT開發(fā)者
HarmonyOS開發(fā)指導(dǎo)類文檔更新速遞(上)
伴隨著HarmonyOS 5.0.0 Release版本的發(fā)布,HarmonyOS官網(wǎng)文檔也帶來了不少上新內(nèi)容。本期HarmonyOS NEXT開發(fā)者資料直通車將從文檔更新角度為開發(fā)者推薦應(yīng)用框架
dayu200 rk3568 openharmony5.0 sim卡 通話服務(wù)
想請問一下有人在dayu200 rk3568上插過sim卡并且成功完成過通話服務(wù)嗎?
我現(xiàn)在在dayu200上燒錄了openHarmony release 5.0.0版本的鏡像,在上面插上了sim卡,但是仍然顯示未檢測到sim卡?
網(wǎng)上沒有找到類似的情況,希望路過大佬能夠給一點(diǎn)解決的思路或者辦法?
發(fā)表于 12-26 16:52
基于ArkTS語言的OpenHarmony APP應(yīng)用開發(fā):公共事件的訂閱和發(fā)布
;
通過在用戶主動(dòng)停止監(jiān)測行為時(shí)發(fā)布自定義有序公共事件,實(shí)現(xiàn)對用戶主動(dòng)觸發(fā)監(jiān)聽行為的持久化記錄;
通過在用戶設(shè)置對某一事件的監(jiān)聽狀態(tài)時(shí)發(fā)布粘性事件,記錄下本次應(yīng)用運(yùn)行期間允許監(jiān)聽的事件列表,同時(shí)在
發(fā)表于 09-18 13:16
星閃技術(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)卡插至評(píng)估板Micro SD卡槽。亦可通過SD升級(jí)卡或USB固化方式將系統(tǒng)固化至eMMC。
基于Python語言的通信演示
案例功能:基于Python語言,啟動(dòng)ROS節(jié)點(diǎn)發(fā)布與訂閱消息,實(shí)現(xiàn)
發(fā)表于 07-09 11:38
使用rt_malloc申請內(nèi)存空間失敗,顯示沒有內(nèi)存怎么解決?
kernel 版本:5.0.0
chip:STM32F407VGxx
RAM 配置大小:128K
使用LWIP + SFUD + FAL + (package:rs485 + cjson
發(fā)表于 07-04 08:10
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
鴻蒙應(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
評(píng)論