OCaml 5.0.0 正式發(fā)布
OCaml 是一個(gè)函數(shù)式、指令式、模塊化、面向?qū)ο蟮耐ㄓ玫?a target="_blank">編程語(yǔ)言，源自 ML (Meta Language) 語(yǔ)言家族。OCaml 5.0.0 近日已正式發(fā)布，主要更新亮點(diǎn)是引入了全新的運(yùn)行時(shí)環(huán)境，支持共享的內(nèi)存并行性和效果處理程序。所謂共享的內(nèi)存并行性是指Multicore OCaml。它通過(guò) domain 增加了對(duì)并行共享內(nèi)存的支持，并通過(guò) effect handler（無(wú)語(yǔ)法支持）增加了對(duì)并發(fā) (direct-style concurrency) 的支持。Multicore OCaml 還打算向后兼容 —— 包括語(yǔ)言特性、C API 以及單線程代碼的性能方面。由于 OCaml 5 完全重寫(xiě)了 OCaml 運(yùn)行時(shí)環(huán)境。因此，與常規(guī)的 OCaml 版本相比，OCaml 5.0.0 是更具實(shí)驗(yàn)性的 OCaml 版本。官方公告寫(xiě)道，OCaml 5.0.0 兼容 OCaml 4，能與 OCaml 4 工作的代碼應(yīng)該也能與 OCaml 5 工作。目前已知的例外情況是：
-
移除了很多早已廢棄的函數(shù)和模塊
-
改變了內(nèi)部運(yùn)行時(shí) API
-
ephemerons 的性能目前嚴(yán)重下降
聲明：本文內(nèi)容及配圖由入駐作者撰寫(xiě)或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題，請(qǐng)聯(lián)系本站處理。
舉報(bào)投訴
-
API
+關(guān)注
關(guān)注
2文章
1576瀏覽量
63794 -
ML
+關(guān)注
關(guān)注
0文章
151瀏覽量
35046
原文標(biāo)題：OCaml 5.0.0 正式發(fā)布
文章出處：【微信號(hào)：OSC開(kāi)源社區(qū)，微信公眾號(hào)：OSC開(kāi)源社區(qū)】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
熱點(diǎn)推薦
使用FX3 SDK發(fā)布源代碼是否違反許可？
使用 FX3 SDK 發(fā)布源代碼是否違反許可？
CYPRESS?EZ-USB? FX3 SDK1.3licenselicense.txt ”4. 專(zhuān)有權(quán)利； 到“您同意對(duì)源代碼保密。” 那里寫(xiě)著一句話，所以我想問(wèn)一下以確定。
發(fā)表于 05-08 06:54
使用RTD5.0.0的s32k312，C40_Ip擦除pflash存在一些問(wèn)題求解決
我正在使用 RTD5.0.0 的 s32k312，C40_Ip擦除 pflash 存在一些問(wèn)題：
Erase block0(0x420000-0x500000) failed
發(fā)表于 04-11 06:53
求助，關(guān)于S32K342 IAR啟動(dòng)代碼問(wèn)題求解
與鏈接類(lèi)似的問(wèn)題S32K344 IAR 啟動(dòng)代碼問(wèn)題 （SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410）
export the project from SDK
發(fā)表于 04-10 07:12
求助，關(guān)于S32K388啟用了DCache的lwip問(wèn)題求解
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是不可選項(xiàng)？
為什么在MCAL版本SW32K3_S32M27x_RTD_R21-11_5.0.0中，SPI的StartNotification是不可選項(xiàng)？
發(fā)表于 03-28 06:17
S32DS軟件編譯報(bào)錯(cuò)，安裝SDK報(bào)錯(cuò)的原因？
在編譯工程時(shí)報(bào)錯(cuò)，提示缺少頭文件，查找本機(jī)，確實(shí)沒(méi)有頭文件，應(yīng)該是庫(kù)文件或者SDK安裝缺失，然后嘗試安裝庫(kù)文件時(shí)，發(fā)現(xiàn)安裝“SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410_DesignStudio_updatesite.zip”文件時(shí)報(bào)錯(cuò)，如下圖所示
?
發(fā)表于 03-21 06:23
使用pthread_setspecific函數(shù)報(bào)錯(cuò)的原因？
rtt代碼是5.0.0版本
在bsp下的qemu-vexpress-a9環(huán)境下執(zhí)行
int main(void)
{
pthread_t pa, pb;
pthread_key_t p_key
發(fā)表于 03-20 06:55
rtsmart開(kāi)啟C++特性支持后，工具鏈編譯內(nèi)核不通過(guò)怎么解決？
，然后去官網(wǎng)中下載最新的12.2.0版本的arm-linux-musleabi去編譯時(shí)報(bào)
不開(kāi)C++支持的時(shí)候，使用7.3.0版本的arm-linux-musleabi編譯器編譯沒(méi)問(wèn)題，rtthread 版本是5.0.0
發(fā)表于 03-10 08:06
DLP6500FYE在官網(wǎng)上下的最新的GUI界面5.0.0版本，打開(kāi)程序?yàn)槭裁磿?huì)這樣，打不開(kāi)怎么解決？
請(qǐng)問(wèn)我在官網(wǎng)上下的最新的GUI界面5.0.0版本，打開(kāi)程序?yàn)槭裁磿?huì)這樣，打不開(kāi)
發(fā)表于 02-24 08:21
OpenHarmony-5.0.0的RK3588始終編譯不過(guò)去，有大佬有開(kāi)源方案可以參考一下嗎？
目前把openHarmony的5.1版本的RK3588編譯過(guò)去了
但是openHarmony-5.0.0的RK3588始終編譯不過(guò)去，有大佬有開(kāi)源方案可以參考一下嗎？
發(fā)表于 01-13 16:04
HarmonyOS開(kāi)發(fā)指導(dǎo)類(lèi)文檔更新速遞(下)
伴隨著HarmonyOS 5.0.0 Release、HarmonyOS 5.0.1 Release版本的發(fā)布，HarmonyOS官網(wǎng)文檔也帶來(lái)了不少上新內(nèi)容。本期HarmonyOS NEXT開(kāi)發(fā)者
dayu200 rk3568 openharmony5.0 sim卡 通話服務(wù)
想請(qǐng)問(wèn)一下有人在dayu200 rk3568上插過(guò)sim卡并且成功完成過(guò)通話服務(wù)嗎？
我現(xiàn)在在dayu200上燒錄了openHarmony release 5.0.0版本的鏡像，在上面插上了sim卡，但是仍然顯示未檢測(cè)到sim卡?
網(wǎng)上沒(méi)有找到類(lèi)似的情況，希望路過(guò)大佬能夠給一點(diǎn)解決的思路或者辦法?
發(fā)表于 12-26 16:52
stm32mp135 starter package啟動(dòng)后屏幕不顯示是怎么回事？
安裝的5.0.0的starter package的鏡像
en.flash-stm32mp1-openstlinux-6-1-yocto-mickledore-mp1-v23-06-21.tar
燒寫(xiě)
發(fā)表于 07-18 06:09
ESP8266為什么無(wú)法在網(wǎng)站上發(fā)布數(shù)據(jù)？
我正在研究ESP8266。
固件版本 AI-v0.9.5.0 AT Firmware.bin。
當(dāng)我開(kāi)始這樣做時(shí)，我能夠在 thingspeak.com 上發(fā)布我的數(shù)據(jù)，但現(xiàn)在我無(wú)法發(fā)布我的數(shù)據(jù)
發(fā)表于 07-16 07:25
ROS讓機(jī)器人開(kāi)發(fā)更便捷，基于RK3568J+Debian系統(tǒng)發(fā)布！
SD啟動(dòng)卡插至評(píng)估板Micro SD卡槽。亦可通過(guò)SD升級(jí)卡或USB固化方式將系統(tǒng)固化至eMMC。
基于Python語(yǔ)言的通信演示
案例功能：基于Python語(yǔ)言，啟動(dòng)ROS節(jié)點(diǎn)發(fā)布與訂閱消息，實(shí)現(xiàn)
發(fā)表于 07-09 11:38
工商網(wǎng)監(jiān)
評(píng)論