亚洲精品久久久久久久久久久,亚洲国产精品一区二区制服,亚洲精品午夜精品,国产成人精品综合在线观看,最近2019中文字幕一页二页

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuà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 完全重寫了 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)重下降

在此版本中,原生編譯器僅支持 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)容及配圖由入駐作者撰寫或者入駐合作網(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

    文章

    2032

    瀏覽量

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

    關(guān)注

    0

    文章

    154

    瀏覽量

    35343

原文標(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)推薦

    元服務(wù)發(fā)布選擇待發(fā)布軟件包

    上傳軟件包并通過(guò)基礎(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版本升級(jí)了一下,從4.1.1升級(jí)到5.0.0,運(yùn)行時(shí)通過(guò)控制臺(tái) 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ù)前,請(qǐng)?jiān)敿?xì)了解華為應(yīng)用市場(chǎng)的審核要求,并提前準(zhǔn)備發(fā)布所需的文件、資源,以便您能順利、快速通過(guò)發(fā)布審核流程。 仔細(xì)閱讀元服務(wù)審核指南,了解發(fā)布元服務(wù)至華為應(yīng)用市場(chǎng)需要遵循的規(guī)則
    發(fā)表于 10-10 15:48

    AppGallery Connect(HarmonyOS 5及以上) --公開(kāi)測(cè)試創(chuàng)建并發(fā)布測(cè)試版本(一)

    版本號(hào)規(guī)范 測(cè)試版本的VersionCode必須高于發(fā)布過(guò)的全網(wǎng)版本的VersionCode。 測(cè)試版本的VersionCode不能低于發(fā)布過(guò)的測(cè)試版本的VersionCode。 如已安裝的測(cè)試版
    發(fā)表于 09-26 17:24

    rtt5.0.0下lvgl在正點(diǎn)原子stm32f407探索者開(kāi)發(fā)板V3上mdk編譯報(bào)錯(cuò)怎么解決?

    開(kāi)發(fā)板為正點(diǎn)原子stm32f407探索者V3,在rtt5.0.0版本下加入lvgl及相應(yīng)的lcd, touch驅(qū)動(dòng),其它什么功能也沒(méi)加,在mdk中編譯,報(bào)錯(cuò): Program Size: Code
    發(fā)表于 09-22 06:17

    創(chuàng)建并發(fā)布測(cè)試版本(一)

    版本號(hào)規(guī)范 測(cè)試版本的VersionGode必須高于發(fā)布過(guò)的全網(wǎng)版本的VersionGode。 測(cè)試版本的VersionCode不能低于發(fā)布過(guò)的測(cè)試版本的VersionCode。 發(fā)布測(cè)試版本 您可
    發(fā)表于 09-16 15:21

    【匯思博SEEK100開(kāi)發(fā)板試用體驗(yàn)】開(kāi)發(fā)環(huán)境安裝配置

    ??DevEco Studio 5.0.0 Release??版本(官網(wǎng)直達(dá)) 避坑提示:實(shí)測(cè)5.1.1版本存在SDK下載失效問(wèn)題,新版兼容性待優(yōu)化 ??驅(qū)動(dòng)配置流程?? 當(dāng)設(shè)備管理器出現(xiàn)HDC
    發(fā)表于 08-20 21:43

    使用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

    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 ?1922次閱讀
    HarmonyOS開(kāi)發(fā)指導(dǎo)類文檔更新速遞(下)