在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

OCaml 5.0.0 正式發布

OSC開源社區 ? 來源: OSC開源社區 ? 作者: OSC開源社區 ? 2022-12-19 09:36 ? 次閱讀
OCaml 是一個函數式、指令式、模塊化、面向對象的通用的編程語言,源自 ML (Meta Language) 語言家族。OCaml 5.0.0 近日已正式發布,主要更新亮點是引入了全新的運行時環境,支持共享的內存并行性和效果處理程序。所謂共享的內存并行性是指Multicore OCaml。它通過 domain 增加了對并行共享內存的支持,并通過 effect handler(無語法支持)增加了對并發 (direct-style concurrency) 的支持。Multicore OCaml 還打算向后兼容 —— 包括語言特性、C API 以及單線程代碼的性能方面。由于 OCaml 5 完全重寫了 OCaml 運行時環境。因此,與常規的 OCaml 版本相比,OCaml 5.0.0 是更具實驗性的 OCaml 版本。官方公告寫道,OCaml 5.0.0 兼容 OCaml 4,能與 OCaml 4 工作的代碼應該也能與 OCaml 5 工作。目前已知的例外情況是:
  • 移除了很多早已廢棄的函數和模塊

  • 改變了內部運行時 API

  • ephemerons 的性能目前嚴重下降

在此版本中,原生編譯器僅支持 x86-64 和 arm64 架構。操作系統方面,支持 Linux、BSD、macOS 和 Windows 上的 mingw64。團隊稱計劃恢復對大多數以前支持的體系結構和操作系統的支持,并在明年解決剩余的已知問題。在 OCaml 5 的成熟期,OCaml 4.14 分支將通過定期向后移植 OCaml 5 分支的錯誤修復來維護。OCaml 4.14 分支的下一個版本 OCaml 4.14.1 應該很快跟進 OCaml 5。下載地址:https://github.com/ocaml/ocaml/releases/tag/5.0.0相關鏈接:https://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • API
    API
    +關注

    關注

    2

    文章

    1505

    瀏覽量

    62174
  • ML
    ML
    +關注

    關注

    0

    文章

    149

    瀏覽量

    34670

原文標題:OCaml 5.0.0 正式發布

文章出處:【微信號:OSC開源社區,微信公眾號:OSC開源社區】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    HarmonyOS開發指導類文檔更新速遞(下)

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

    HarmonyOS開發指導類文檔更新速遞(上)

    伴隨著HarmonyOS 5.0.0 Release版本的發布,HarmonyOS官網文檔也帶來了不少上新內容。本期HarmonyOS NEXT開發者資料直通車將從文檔更新角度為開發者推薦應用框架
    的頭像 發表于 12-30 09:50 ?104次閱讀
    HarmonyOS開發指導類文檔更新速遞(上)

    dayu200 rk3568 openharmony5.0 sim卡 通話服務

    想請問一下有人在dayu200 rk3568上插過sim卡并且成功完成過通話服務嗎? 我現在在dayu200上燒錄了openHarmony release 5.0.0版本的鏡像,在上面插上了sim卡,但是仍然顯示未檢測到sim卡? 網上沒有找到類似的情況,希望路過大佬能夠給一點解決的思路或者辦法?
    發表于 12-26 16:52

    基于ArkTS語言的OpenHarmony APP應用開發:公共事件的訂閱和發布

    ; 通過在用戶主動停止監測行為時發布自定義有序公共事件,實現對用戶主動觸發監聽行為的持久化記錄; 通過在用戶設置對某一事件的監聽狀態時發布粘性事件,記錄下本次應用運行期間允許監聽的事件列表,同時在
    發表于 09-18 13:16

    星閃技術已經發布一年多了,應用何去何從?

    星閃技術已經發布一年多了,想必大家也都有關注,大家觀察觀察身邊所經歷的項目及其他無線應用場景,來說說星閃技術應用都有哪些落腳點。咱們踴躍討論發言
    發表于 09-13 09:46

    stm32mp135 starter package啟動后屏幕不顯示是怎么回事?

    安裝的5.0.0的starter package的鏡像 en.flash-stm32mp1-openstlinux-6-1-yocto-mickledore-mp1-v23-06-21.tar 燒寫
    發表于 07-18 06:09

    ESP8266為什么無法在網站上發布數據?

    我正在研究ESP8266。 固件版本 AI-v0.9.5.0 AT Firmware.bin。 當我開始這樣做時,我能夠在 thingspeak.com 上發布我的數據,但現在我無法發布我的數據
    發表于 07-16 07:25

    ROS讓機器人開發更便捷,基于RK3568J+Debian系統發布

    SD啟動卡插至評估板Micro SD卡槽。亦可通過SD升級卡或USB固化方式將系統固化至eMMC。 基于Python語言的通信演示 案例功能:基于Python語言,啟動ROS節點發布與訂閱消息,實現
    發表于 07-09 11:38

    使用rt_malloc申請內存空間失敗,顯示沒有內存怎么解決?

    kernel 版本:5.0.0 chip:STM32F407VGxx RAM 配置大小:128K 使用LWIP + SFUD + FAL + (package:rs485 + cjson
    發表于 07-04 08:10

    esp32-C3如何設置掃描周期?

    我們使用的芯片是esp32-C3 IDF版本版本:5.0.0 我們開發的產品使用BLE Mesh組網,我們同時希望產品能開啟掃描BLE廣播包的功能,根據樂鑫官方在線文檔 \"https
    發表于 06-28 09:44

    espidf5.0.0版本的LCD中的rgb_panel例程怎么跑起來?

    想請問一下 espidf5.0.0版本的LCD中的rgb_panel例程怎么跑起來,之前跑起來過幾次,不過現在完全跑不起來了 報錯代碼中出現的錯誤均為例程中的源代碼,且其頭文件都是有包含的,請問
    發表于 06-12 08:04

    stm32cubemx-5.0.0 , x-cube-mcsdk-5.3.1搭建電機調試環境,修改完參數每次點擊Generation都報錯的原因?

    自己win7系統,安裝了java運行環境,stm32cubemx-5.0.0 , x-cube-mcsdk-5.3.1 進行搭建電機調試環境,修改完參數每次點擊Generation 都報錯
    發表于 04-17 08:31

    最近國產的rsic-v的mcu有什么新品發布

    如題,最近國產的rsic-v的mcu有什么新品發布。那種超低功耗的!
    發表于 04-13 07:58

    鴻蒙應用/元服務開發實戰-上架發布過程中三個注意項

    一、 私鑰是錯誤的 二、 沒有icon圖標,一個在外層的APP文件里面,一個在里面的那個資源文件里面。 三、 一個賬戶中,發布證書所有鴻蒙應用元服務是共享一個的。
    發表于 02-22 10:19

    鴻蒙原生應用元服務實戰-發布時多設備選擇注意事項

    在可公開可獲取DevEco Studio最新版本,Stage模型ArkTSAPI9開發元服務HarmonyOS4現不支持平板等;但是元服務在發布時是可選平板、智慧屏電視設備發布。 如果開發人員與上架
    發表于 02-21 10:22
    主站蜘蛛池模板: 四虎永久在线精品国产免费 | 国产成人亚洲影视在线| 婷婷国产在线| 国产免费午夜高清| 亚洲情a成黄在线观看| 九色综合九色综合色鬼| 色综合九九| 亚洲va国产va天堂va久久| 美女视频一区二区三区| 欧美最猛性xxxx高清| 国产在线干| 日日日干干干| 天天做天天爱夜夜想毛片| 国产精品一区二区三区四区| 调教双性学霸美人| 亚洲综合免费| 91大神在线视频观看| 800免费资源网| 国产精品莉莉欧美自在线线| 扒开末成年粉嫩的流白浆视频| 黄页网站视频免费 视频| 手机看片自拍| 手机在线你懂得| 国产香蕉98碰碰久久人人| 4438x全国免费| 中文字幕一区2区3区| 波多野结衣三个女人蕾丝边| 国内精品91久久久久| 免费在线播放视频| 又粗又大撑满了好爽| 伊人久久综合网亚洲| 永久看日本大片免费| 日韩种子| 美女视频黄免费| 美女黄页在线观看| 99久久婷婷免费国产综合精品| 9久久精品| 久久久久久免费观看| 国产精品午夜国产小视频| 中文字幕在线一区二区在线| 无遮挡高清一级毛片免费|