張宏波-MoonBit-全球邊緣計算大會展示材料.pdf

《張宏波-MoonBit-全球邊緣計算大會展示材料.pdf》由會員分享，可在線閱讀，更多相關《張宏波-MoonBit-全球邊緣計算大會展示材料.pdf（26頁珍藏版）》請在三個皮匠報告上搜索。

1、AI 原生開發平臺2 0 2 4 年 6 月關于我OCaml前 核 心 開 發 成 員I D E A 基 礎 軟 件 中 心首 席 科 學 家MoonBit平 臺 負 責 人2023年 OCaml 榮獲ACM Sigplan Awards不同于傳統學術研究機構追求理論上的單點創新中心專注于系統層面ReScriptAI 云原生時代下的開發者工具平臺首個在底層架構從0-1完全創新的系統工程用于OCaml官方網站的搭建Meta、Google、育碧、TinyMCE等多個商業公司應用作者1.WebAssembly 在邊緣計算的應用2.MoonBitWebAssembly3.大模型時代的機遇：MoonBi

2、t AI目錄邊緣計算的現狀&發展大型計算機個人電腦智能云智能云+邊緣智能互聯網：未來趨勢Intelligent CloudIntelligent Edge33175 快：比Lua快1000倍以上 移植性：較JS更具移植性,微控制單元內存小于1000k 穩定性：崩潰率從1/1000降至0高性能可移植多語言Post-MVP優勢數據爆炸安全軟件OTA升級異構平臺性能延遲功耗WASM 替代傳統解決方案：Lua/JS/Native挑戰與機遇Wasm-邊緣計算應用邊緣端部署軟件或固件代碼打包組件測試集成測試合規分發邊緣設備整個過程可能需要數周、數月甚至是數年Wasm-新一代標準指令集Wasm 是未來邊緣計

3、算最佳解決方案性能在不犧牲速度的情況下執行計算密集型任務?？梢浦苍诟鞣N硬件配置上部署和維護邊緣計算應用程序。安全自帶安全沙箱，在邊緣計算場景中至關重要。資源效率體積小，適合低延遲的邊緣計算使用場景。Wasm-優勢MoonBitWasmWebAssembly（邊緣計算）云+邊緣特點：垂直整合、全局優化目標：跨平臺、體積小、編譯快作用：可允許離線模式下的云IDE教育：科技平臺+學研同盟目標：全球化視野、業界領先的教學平臺特點：無需插件，一件安裝作用：共同培養國際頂尖創新科技人才JS（UI開發）Native（系統編程）不同于追求傳統科研機構的單點創新，MoonBit 著眼于大規模系統工程能力。運行時

4、MoonBit 人工智能MoonBit AI&Static analyzerMoonBit 集成開發環境MoonBit IDE編程語言ReviseDogfood編譯器編程語言構建系統IDE目標：AI first 平臺，賦能未來編程特點：創新融合傳統IDE大模型智能作用：一鍵完成需求部署調試AI：IDE智能+人工智能產品架構多后端支持應用場景MoonBit：AI 原生開發者平臺構建系統基于 n2(Rust)編譯器OCaml100%自研核心IDE靜態分析CoverageMoondocLLM2構建系統AIIDEllama.cpp工具鏈MoonBit 核心組件代碼助手MoonBit 平臺平臺MoonB

5、it IDE（集成開發環境）MoonBit Debugger（調試器）MoonBit Live Coding（實時編碼）MoonBit 的 Sourcemap 和調試支持優化開發者的調試體驗，確保 JavaScript 代碼的生成盡可能貼近源碼，變量名和字段名保持一致，便于使用瀏覽器的 DevTools 進行源碼檢查和調試。更更完善完善Repo地址：https:/ 調試器MoonBit 內置測試功能相比于 OCaml 和 Rust，MoonBit 提供了更加簡潔高效的測試體驗。測試工具不僅操作簡便，而且無需任何外部依賴，支持開箱即用，簡化了測試流程更更簡單簡單MoonBit 內置測試功能Moo

6、nBit&Wasm數據來源：https:/ =Rust 1/2 Go 1/6000計算時間MoonBit =Rust 1/1 Go 1/40編譯速度MoonBit =Rust 9倍Go 2倍RUST:目前全球最受歡迎且最活躍的系統編程語言Go:主流編程語言之一,由Google設計,被Netflix、PayPal、Uber等公司廣泛使用更小更快更高效虛擬機WebAssembly容器新一代標準指令集Wasm的一等支持MoonBit核心指標性能對比高效可移植安全跨平臺WASM應用場景云計算的三次浪潮Wasm特性MoonBit AIMoonBit 擁抱AI-不經意間撞上的風口MoonBit團隊發表的論

7、文入選首屆國際大型語言模型應用于代碼研討會 LLM4Code 2024大模型時代挑戰安全性原生的AI人機交互減少幻覺MoonBit AI-快速的靜態分析糾正幻覺MoonBitAI傳統IDE智能大模型智能AIMoonBit AI：https:/ AI-DemoMoonBit AI-安全安全的類型系統Wasm安全沙箱死代碼刪除MoonBit的快速靜態分析能力、設計上就考慮到了代碼三重的安全保障，比如安全的類型系統、WASM的安全沙箱機制，以及我們的死代碼刪除技術MoonBit通過結構化接口和類型系統的明確性，允許大模型更加準確地識別代碼的模式和結構，進而生成更加準確和高效的代碼WebAssembl

8、y是一種開放的二進制指令格式，用于在現代網絡瀏覽器中以沙箱環境的方式安全、快速地運行代碼。它是一種低級別的字節碼，類似于Java字節碼或.NET的Common Intermediate Language（CIL），但以Web為中心MoonBit專為高效的死代碼消除而設計，并且具有為了輕松刪除死代碼而設計的標準庫結構。通過全局代碼優化，MoonBit顯著減小了最終生成的Wasm代碼大小，提高了安全性并減少了攻擊面，并且確保在無服務器計算環境中快速啟動MoonBit AIAI參與的開發流程提供測試覆蓋率統計工具提供測試功能更更智能智能人與AI協同開發人對結果進行審核生成測試覆蓋報告AI生成測試MoonBit AI-自動化測試流程Q3全球宣布包管理和生態提供高質量庫提升用戶體驗1.0版本2.223.8標準庫開放構建系統開放編譯器開放202511.22MoonBit 路線圖IDEA Official WeChatTHANK YOU