99精品伊人亚洲|最近国产中文炮友|九草在线视频支援|AV网站大全最新|美女黄片免费观看|国产精品资源视频|精彩无码视频一区|91大神在线后入|伊人终合在线播放|久草综合久久中文

搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統(tǒng)消息
      • 評(píng)論與回復(fù)
      VIP于 到期 續(xù)費(fèi)
      登錄后你可以
      • 下載海量資料
      • 學(xué)習(xí)在線課程
      • 觀看技術(shù)視頻
      • 寫(xiě)文章/發(fā)帖/加入社區(qū)
      會(huì)員中心
      創(chuàng)作中心
      發(fā)布
      創(chuàng)作活動(dòng)

      完善資料讓更多小伙伴認(rèn)識(shí)你，還能領(lǐng)取20積分哦，立即完善>

      3天內(nèi)不再提示

      OCaml 5.0.0 正式發(fā)布

      OSC開(kāi)源社區(qū) ? 來(lái)源： OSC開(kāi)源社區(qū) ? 作者： OSC開(kāi)源社區(qū) ? 2022-12-19 09:36 ? 次閱讀
      加入交流群
      微信小助手二維碼

      掃碼添加小助手

      加入工程師交流群

      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)重下降

      在此版本中，原生編譯器僅支持 x86-64 和 arm64 架構(gòu)。操作系統(tǒng)方面，支持 Linux、BSD、macOS 和 Windows 上的 mingw64。團(tuán)隊(duì)稱計(jì)劃恢復(fù)對(duì)大多數(shù)以前支持的體系結(jié)構(gòu)和操作系統(tǒng)的支持，并在明年解決剩余的已知問(wèn)題。在 OCaml 5 的成熟期，OCaml 4.14 分支將通過(guò)定期向后移植 OCaml 5 分支的錯(cuò)誤修復(fù)來(lái)維護(hù)。OCaml 4.14 分支的下一個(gè)版本 OCaml 4.14.1 應(yīng)該很快跟進(jìn) OCaml 5。下載地址：https://github.com/ocaml/ocaml/releases/tag/5.0.0相關(guān)鏈接：https://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974

      聲明：本文內(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
        API
        +關(guān)注

        關(guān)注

        2

        文章

        1605

        瀏覽量

        63996
      • ML
        ML
        +關(guān)注

        關(guān)注

        0

        文章

        151

        瀏覽量

        35072

      原文標(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)注明出處。

      收藏 人收藏
      加入交流群
      微信小助手二維碼

      掃碼添加小助手

      加入工程師交流群

        評(píng)論

        相關(guān)推薦
        熱點(diǎn)推薦

        使用FX3 SDK發(fā)布源代碼是否違反許可？

        使用 FX3 SDK 發(fā)布源代碼是否違反許可？ CYPRESS?EZ-USB? FX3 SDK1.3licenselicense.txt ”4. 專有權(quán)利； 到“您同意對(duì)源代碼保密?！?那里寫(xiě)著一句話，所以我想問(wèn)一下以確定。
        發(fā)表于 05-08 06:54

        發(fā)布AG32VF407 NANO開(kāi)發(fā)板

        發(fā)布AG32VF407 NANO開(kāi)發(fā)板 為了幫助用戶更快的上手熟悉AG32的開(kāi)發(fā)，我們最新發(fā)布了AG32VF407 NANO開(kāi)發(fā)板，該開(kāi)發(fā)板可以作為核心板，直接嵌入到已有產(chǎn)品當(dāng)中，幫助用戶快速
        發(fā)表于 04-17 09:18

        使用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)題求解

        與鏈接類似的問(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)類文檔更新速遞(下)

        伴隨著HarmonyOS 5.0.0 Release、HarmonyOS 5.0.1 Release版本的發(fā)布，HarmonyOS官網(wǎng)文檔也帶來(lái)了不少上新內(nèi)容。本期HarmonyOS NEXT開(kāi)發(fā)者
        的頭像 發(fā)表于 12-30 09:54 ?1152次閱讀
        HarmonyOS開(kāi)發(fā)指導(dǎo)類文檔更新速遞(下)

        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)有找到類似的情況，希望路過(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