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文章
2288瀏覽量
66558 -
ML
+關(guān)注
關(guān)注
0文章
154瀏覽量
35440
原文標(biāo)題:OCaml 5.0.0 正式發(fā)布
文章出處:【微信號:OSC開源社區(qū),微信公眾號:OSC開源社區(qū)】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
相關(guān)推薦
熱點(diǎn)推薦
申請指定設(shè)備發(fā)布Profile
前提條件
已創(chuàng)建HarmonyOS應(yīng)用。
已申請發(fā)布證書,并注冊測試設(shè)備。
(如需使用ACL權(quán)限)已申請并獲取ACL權(quán)限。
1.登錄AppGallery Connect,選擇“證書、APP ID
發(fā)表于 01-13 11:02
申請指定設(shè)備發(fā)布Profile
前提條件
已創(chuàng)建HarmonyOS應(yīng)用。
已申請發(fā)布證書,并注冊測試設(shè)備。
(如需使用ACL權(quán)限)已申請并獲取ACL權(quán)限。
操作步驟
登錄AppGallery Connect,選擇“證書、APP
發(fā)表于 01-12 10:31
申請發(fā)布Profile
前提條件
已創(chuàng)建HarmonyOS應(yīng)用 | 創(chuàng)建元服務(wù)。
已申請發(fā)布證書。
(如需使用ACL權(quán)限)已申請并獲取ACL權(quán)限。
操作步驟
登錄AppGallery Connect,選擇“證書、APP
發(fā)表于 01-09 17:58
發(fā)布應(yīng)用催促加急撤銷審核
完成所有應(yīng)用信息和版本信息的配置后,可將元服務(wù)提交至華為方進(jìn)行發(fā)布審核。
登錄AppGallery Connect,點(diǎn)擊“APP與元服務(wù)”。
選擇要發(fā)布的元服務(wù)。
左側(cè)導(dǎo)航選擇“應(yīng)用上架 &
發(fā)表于 12-26 10:43
發(fā)布元服務(wù)提交審核
完成所有應(yīng)用信息和版本信息的配置后,可將元服務(wù)提交至華為方進(jìn)行發(fā)布審核。
登錄AppGallery Connect,點(diǎn)擊“APP與元服務(wù)”。
選擇要發(fā)布的元服務(wù)。
左側(cè)導(dǎo)航選擇“應(yīng)用上架 &
發(fā)表于 12-04 14:23
發(fā)布元服務(wù)設(shè)置上架時(shí)間
設(shè)置上架時(shí)間
登錄AppGallery Connect,點(diǎn)擊“APP與元服務(wù)”。
選擇要發(fā)布的元服務(wù)。
左側(cè)導(dǎo)航選擇“應(yīng)用上架 > 版本信息”下待發(fā)布的版本。
進(jìn)入“上架
發(fā)表于 12-03 09:46
發(fā)布元服務(wù)配置隱私聲明
服務(wù)”。
選擇要發(fā)布的元服務(wù)。
左側(cè)導(dǎo)航選擇“應(yīng)用上架 > 版本信息”下待發(fā)布的版本。
進(jìn)入“隱私聲明”區(qū)域,選擇您生成的隱私政策和用戶協(xié)議。
本文參考鴻蒙官方文檔
發(fā)表于 11-25 11:24
元服務(wù)發(fā)布選擇待發(fā)布軟件包
上傳軟件包并通過基礎(chǔ)合法檢查后,就可以從上傳的版本中選擇需要發(fā)布的軟件包。
登錄AppGallery Connect,點(diǎn)擊“APP與元服務(wù)”。
選擇要發(fā)布的元服務(wù)。
左側(cè)導(dǎo)航選擇“應(yīng)用上架 &
發(fā)表于 11-03 17:10
V5.0.0 ps 打印顯示線程 error 狀態(tài)全為 EINTRPT,,為什么?
最近我將RTT版本升級了一下,從4.1.1升級到5.0.0,運(yùn)行時(shí)通過控制臺 ps之指令觀察,發(fā)現(xiàn)線程 error 都報(bào) EINTRPT, 但 4.1.1 時(shí)都是 OK.
以下是 RTT 為 4.1.1 時(shí)的 ps 反饋
以下是 RTT 為 5.0.0 時(shí)的反饋
發(fā)表于 10-13 06:46
元服務(wù)發(fā)布準(zhǔn)備工作
發(fā)布元服務(wù)前,請?jiān)敿?xì)了解華為應(yīng)用市場的審核要求,并提前準(zhǔn)備發(fā)布所需的文件、資源,以便您能順利、快速通過發(fā)布審核流程。
仔細(xì)閱讀元服務(wù)審核指南,了解發(fā)布元服務(wù)至華為應(yīng)用市場需要遵循的規(guī)則
發(fā)表于 10-10 15:48
rtt5.0.0下lvgl在正點(diǎn)原子stm32f407探索者開發(fā)板V3上mdk編譯報(bào)錯(cuò)怎么解決?
開發(fā)板為正點(diǎn)原子stm32f407探索者V3,在rtt5.0.0版本下加入lvgl及相應(yīng)的lcd, touch驅(qū)動(dòng),其它什么功能也沒加,在mdk中編譯,報(bào)錯(cuò):
Program Size: Code
發(fā)表于 09-22 06:17
創(chuàng)建并發(fā)布測試版本(一)
版本號規(guī)范
測試版本的VersionGode必須高于發(fā)布過的全網(wǎng)版本的VersionGode。
測試版本的VersionCode不能低于發(fā)布過的測試版本的VersionCode。
發(fā)布測試版本
您可
發(fā)表于 09-16 15:21
使用RTD5.0.0的s32k312,C40_Ip擦除pflash存在一些問題求解決
我正在使用 RTD5.0.0 的 s32k312,C40_Ip擦除 pflash 存在一些問題:
Erase block0(0x420000-0x500000) failed
發(fā)表于 04-11 06:53
為什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中,SPI的StartNotification是不可選項(xiàng)?
為什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中,SPI的StartNotification是不可選項(xiàng)?
發(fā)表于 03-28 06:17
DLP6500FYE在官網(wǎng)上下的最新的GUI界面5.0.0版本,打開程序?yàn)槭裁磿?huì)這樣,打不開怎么解決?
請問我在官網(wǎng)上下的最新的GUI界面5.0.0版本,打開程序?yàn)槭裁磿?huì)這樣,打不開
發(fā)表于 02-24 08:21
OCaml 5.0.0 正式發(fā)布
評論