18video性欧美19sex,欧美高清videosddfsexhd,性少妇videosexfreexxx片中国,激情五月激情综合五月看花,亚洲人成网77777色在线播放

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開源社區(qū) ? 來(lái)源: OSC開源社區(qū) ? 作者: OSC開源社區(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

    文章

    1969

    瀏覽量

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

    關(guān)注

    0

    文章

    154

    瀏覽量

    35334

原文標(biāo)題:OCaml 5.0.0 正式發(fā)布

文章出處:【微信號(hào):OSC開源社區(qū),微信公眾號(hào):OSC開源社區(qū)】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

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

掃碼添加小助手

加入工程師交流群

    評(píng)論

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

    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

    rtsmart開啟C++特性支持后,工具鏈編譯內(nèi)核不通過(guò)怎么解決?

    ,然后去官網(wǎng)中下載最新的12.2.0版本的arm-linux-musleabi去編譯時(shí)報(bào) 不開C++支持的時(shí)候,使用7.3.0版本的arm-linux-musleabi編譯器編譯沒問(wèn)題,rtthread 版本是5.0.0
    發(fā)表于 09-29 07:49

    AppGallery Connect(HarmonyOS 5及以上) --公開測(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探索者開發(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ā)布測(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開發(fā)板試用體驗(yàn)】開發(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í)沒有頭文件,應(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版本,打開程序?yàn)槭裁磿?huì)這樣,打不開怎么解決?

    請(qǐng)問(wèn)我在官網(wǎng)上下的最新的GUI界面5.0.0版本,打開程序?yàn)槭裁磿?huì)這樣,打不開
    發(fā)表于 02-24 08:21

    OpenHarmony-5.0.0的RK3588始終編譯不過(guò)去,有大佬有開源方案可以參考一下嗎?

    目前把openHarmony的5.1版本的RK3588編譯過(guò)去了 但是openHarmony-5.0.0的RK3588始終編譯不過(guò)去,有大佬有開源方案可以參考一下嗎?
    發(fā)表于 01-13 16:04

    HarmonyOS開發(fā)指導(dǎo)類文檔更新速遞(下)

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