借鑒核心開發團隊近十年來開發OCaml、BuckleScript、ReasonML、ReScript、Flow等編程語言和工具的經驗，IDEA研究院基礎軟件中心自主開發了壹款全新的軟件核心開發工具——moon bit開發平臺。它涵蓋了通用編程語言設計、編譯器、構建系統、IDE、部署工具等。實現了語言設計、編譯器和構建系統的高度垂直整合，為用戶提供更好的開發體驗和性能，致力於構建未來世界壹流的基礎軟件生態系統。
目前，Moonbit IDE已經正式對外開放測試。庭審地址如下。歡迎體驗(桌面版效果最好):
月球鉆頭階段性成果
新壹代標準指令集WebAssembly的壹級支持:“Wasm”的目標代碼最小大小只有132字節左右。在某些情況下，與Go等傳統語言相比，相同函數的輸出量減少了近1萬倍。
靜態類型檢查工具在性能上的突破:通過工具鏈的垂直整合，IDE的性能大幅提升，比傳統語言工具鏈快了幾個數量級。比如在沒有緩存模式的冷啟動環境下檢測six package只需要幾十毫秒左右，而傳統語言工具鏈需要幾秒甚至幾十秒。
可離線運行的CloudIDE:得益於靜態類型檢查性能的大幅提升和輕量級設計，Moonbit的cloud IDE采用了與傳統cloud IDE完全不同的架構，大部分IDE響應工作都在邊緣進行，用戶輸入可以快速反饋，不依賴網絡帶寬。
01 moon bit:web assembly平臺上的最佳解決方案
WebAssembly是2017推出的新壹代標準指令集，因其高效、輕量、安全，以及可以運行在服務器、edge、瀏覽器等任何計算設備上的平臺無關性而受到廣泛關註。
但WebAssembly平臺上的主流開發語言仍然是C++和Rust，這是對程序員門檻較高的低級編程語言。而壹些應用級語言如Go在WebAssembly上的輸出量巨大，無法充分利用平臺的優勢。因此，在WebAssembly生態系統中，雖然在消費端有幾十個開源的運行時，但是缺乏高質量的供應商是目前最大的問題。
為了彌補這種生態上的不足，作為後來者，Moonbit平臺可以更好地支持WebAssembly指令集。基於WebAssembly自底向上的架構，Moonbit提供了對WebAssembly的原生支持，在保證輸出代碼量足夠小的同時，支持多個後端(如JavaScript)，為前端和後端開發提供壹站式解決方案。
02Moonbit的創新架構
(A)為全局優化設計的第壹個編程語言工具鏈
在大規模並行編譯的同時，Moonbit可以存儲高級IR進行單獨編譯，鏈接時保存完整的代碼信息，實現更多的優化，提高程序的運行性能。這種模式也可以更好地剪除無用代碼，輸出更小的代碼量。
傳統的全局優化在工程上有很多問題，最大的問題是需要大量內存和時間，不能充分利用多核處理器的性能。為了緩解這壹問題，Moonbit在語言特性上可以更好地支持無用代碼刪除(DCE)，可以在多個編譯階段實現DCE，輔以強大的靜態類型系統和代碼靜態分析能力，減少無關代碼，有效提升程序整體運行性能，降低程序規模。
(B)為並行和增量程序語義分析設計的體系結構
借鑒以往的IDE架構經驗，Moonbit在語言設計之初就充分考慮了IDE、構建系統和語言設計的配合，實現了類型檢查和推理的高度並行性和增量性。
目前業內大多數編程語言的IDE都是針對桌面操作系統設計的，未能充分考慮在雲原生環境下與edge的交互。Moonbit可以通過高度並行的架構和對單獨編譯的原生支持，直接在邊緣運行CloudIDE。
Moonbit的快速語義分析技術可以適配大量代碼庫，在更大的代碼庫中，IDE響應可以在百毫秒級別完成。初步測試結果表明，Moonbit可以在30ms左右完成冷啟動環境下多個包的語義檢測，而傳統語言IDE需要幾秒甚至幾十秒。
(三)為人工智能的交互而設計
隨著人工智能在大模型領域的突破，未來將會有大量的代碼在AI的輔助下進行設計，但這類代碼的準確性需要驗證。Moonbit平臺將通過編程語言工具鏈的原生支持，提高AI代碼的正確性和可維護性。Moonbit平臺具有以下特點:
1，強大的類型系統和內置的靜態檢測工具:使用強大的類型系統，在編譯時檢查類型錯誤，並提供內置的靜態檢測工具，可以在編程時發現潛在的問題和錯誤，從而進壹步提高代碼的正確性。
2、快速交互解釋輸出:幫助AI立即檢查代碼效果，並進行快速叠代和修正。
3.內置語言級的expect測試和測試自動生成框架:自動檢查輸出是否符合預期，生成測試用例。
4.更好的形式化驗證的工具支持:證明代碼在所有情況下都滿足正確的需求，進壹步提高代碼的正確性。
03Moonbit與主流工業語言的比較
Moonbit平臺的重要組成部分之壹是Moonbit語言，從2022年9月開始開發。現在處於高速發展階段，語法特征和語義已經趨於穩定。
Moonbit語言的開發融合了多種主流工業語言的經驗，借鑒了工程上Go的簡潔設計(如包管理)，借鑒了語義上Rust和ReScript的類型安全特性，支持代數數據類型和復雜模式匹配，壹定程度上支持面向對象特性。與現有語言相比，Moonbit還具有獨特的優勢:
(壹)Moonbit相比Go的主要優勢
1和Moonbit的類型體系更加強大，比如支持模式匹配、代數數據類型、不可變數據結構、更多的類型派生。
2.Moonbit是壹種為WebAssembly設計的編程語言。設計之初考慮全局優化和代碼量，編譯的WebAssembly很小。在內部測試中，某些情況下，Moonbit編譯的WebAssembly可以比Go語言編譯的web assembly小65，438+0，000倍。
(B)月球鉆頭相對於鐵銹的優勢
1.通過工具鏈的垂直整合，編譯速度和IDE響應速度比Rust快幾個數量級。
2.提供了自動內存管理，減輕了開發人員的精神負擔，更適合應用開發。
展望未來:月球比特路線圖
Moonbit編程語言將遵循以下路線圖，並致力於成為未來最具創新性和最高效的編程語言。