程式語言Mojo 1.0正式發布,穩定語言介面並強化記憶體安全診斷

Modular正式發布程式語言 Mojo 1.0 ,這款2023年推出的程式語言首度進入1.0正式版本。新版完成一輪語法與型別整理,也加入可診斷部分參照失效問題的能力。Modular表示,進入1.x系列後,語言更新將以增加功能為主,降低既有程式因語言頻繁改動而需要重新修改的情況。

Mojo過去數年仍處於快速開發階段,語法、型別與標準函式庫持續調整,增加長期維護專案的成本。Mojo 1.0的重點因此是先建立較穩定的語言基礎,1.x期間仍可能出現不相容的修改,但Modular表示會更審慎處理,避免既有程式碼因版本更新頻繁失效。

語言設計方面,Mojo 1.0進一步統一原本可用不同方式表達的功能,包括變數宣告、閉包與指標型別。新版也加入類似Python的lambda匿名函式語法,讓開發者可以直接在程式碼中建立簡短的行內閉包(Closure)。

記憶體安全也是新版改善重點,例如程式向List加入元素後,原先指向List內資料的參照可能失效,若程式仍繼續使用,可能造成難以察覺的錯誤。Mojo現在可辨識部分參照失效情況,提早提醒開發者修改程式。

Mojo也更新開發工具,語言伺服器改善穩定性,可讓VS Code等編輯器更可靠地提供程式碼分析、提示及錯誤檢查。標準函式庫也更一致地使用where子句表達條件限制,條件未通過時可提供較具體的説明,協助開發者判斷問題原因。

Mojo目前可用於CPU、GPU及其他運算加速器的程式開發。Modular下一階段還計畫加入非同步程式設計、模式比對及聯合型別等功能,因此1.0主要確立的是穩定版本基礎,而非代表語言功能已全部完成。Modular提到,預計在2026年開源Mojo編譯器與相關工具鏈。