在大家的印象當中，編程語言主要是歐美人發明的，就連日本和巴西也發明了Ruby和Lua，而中國在編程語言上沒什么貢獻，很多人不知道的是 ，中國人也發明了兩個非常有影響力的語言，更厲害的是，這兩門語言主要是由一個人完成的，這個人就是張宏波。

01

進入編程語言領域

張宏波從小就是“別人家的孩子”，小學以全校第一畢業，初中以市第一畢業，高考“沒考好”失利的情況下調劑到清華大學電氣工程及自動化系。

為了追求更適合的自己方向，大一結束時以全系第三的名次轉到清華電子系，電子系高手如云，第一年還不太適應拿了20來名，不過大三專注了一年，又回到系里第一名了。

張宏波在大一大二時就用C和C++寫過不少程序，用編程實現了很多想法，但是他也發現，用這些語言編程一點兒也不快樂，很容易出錯，時間都花在了調試上面。

大三時張宏波進入微軟亞洲研究院（MSRA）實習，他在那里接觸到了函數式編程語言 F#，并由此被編程語言的理論之美所吸引。

在這里，張宏波還有幸遇到了他的伯樂——他的博士導師、原微軟全球執行副總裁沈向洋，并通過沈向洋的推薦張宏波前往美國讀博。

2013年，張宏波在賓大讀博，出于興趣，他深度參與了 OCaml 語言開源項目，成為 OCaml 的核心開發者，值得一提的是去年 OCaml 獲得了 ACM 系統軟件獎（計算機世界級大獎之一）。

當時彭博（ Bloomberg ，全球最大的財經資訊公司）收購了一家法國金融衍生品公司的衍生品定價軟件，該軟件恰好是用 OCaml 編寫的，因此急需一個擅長 OCaml 編程語言和編譯器的人，于是，彼時身為 OCaml 核心開發人員的張宏波，在讀博期間就被 Bloomberg 邀請以實習生的身份加入。后因其表現出色，Bloomberg 向張宏波提供了一個待遇可觀的 Offer，他也就此成為了 Bloomberg 的一名正式員工，從事函數式語言編譯器的開發工作。

當時這個金融軟件的界面主要是用JavaScript編寫的，成千上萬行的JavaScript代碼讀起來讓人非常崩潰，張宏波開始思考一個問題：是否有一種更穩健且易于維護的編程語言，可以用來編寫 UI 的前端邏輯？

張宏波嘗試了一下，用6-7周的業余時間開發了一個編譯器，將OCaml編譯成JavaScript。

這個叫BuckleScript的項目非常成功，以至于老板讓他專職開發，最后發展成了具有全球影響力的編程語言:ReScript。

在社區和用戶的幫助下，源自學術界的 ReScript，如今真的成功打進了工業界。ReScript的商業案例遍布世界：不僅游戲公司 Ubisoft、文本編輯器 TinyMCE 等大型公司將 ReScript 應用至他們的項目上，韓國農業獨角獸Greenlabs、為歐洲公共交通提供移動解決方案的公司（cca.io）都在用 ReScript，甚至印度最大的物流市場（Porter）應用 ReScript 也已經超過兩年了。

Meta（彼時還叫Facebook）找到他，說已經在Meta Messenger項目中使用了ReScript，希望他能繼續這項工作。因此，他破例受聘，成為Meta當時唯一一位常駐國內的軟件工程師，負責維護 ReScript 并參與編程語言 Flow 的開發工作。

雖然 ReScript 已經取得了令人欣喜的成績，但對于 ReScript ，它是有很深的遺憾的——相較于微軟的 TypeScript 或者谷歌的 Dart，ReScript 的影響力遠沒有達到它應該到達的高度，但這門語言的技術實力比很多編程語言都要好。“這里面有很多原因，如果讓我重新來一次，我相信有機會做成一個現象級的編程語言。”

懷揣著理想與遺憾，張宏波在深圳遇到了以前的導師、微軟原全球執行副總裁、后來的 IDEA 研究院創院理事長、美國國家工程院外籍院士沈向洋，得到了他的大力支持。這幾年國家大力扶持基礎軟件的發展，可謂天時，地利，人和。在這樣的背景下，他選擇離開工作了 5 年的 Meta，加入了 IDEA 研究院，并從 0 到 1 快速搭建起一個非常年輕的團隊，繼續開展編程語言研究。

02

MoonBit的誕生

編程語言歷經幾十年的發展，從結構化編程到面向對象，從桌面到互聯網，從大型機到PC，從單機到分布式......隨著市場需求的迅速變化，不斷新的編程語言異軍突起，也有大量編程語言銷聲匿跡。

在云計算、邊緣計算、AI等新興行業快速發展的今天，市場也期待一個全新的編程語言，它在運行速度、編譯速度、代碼體積等核心指標上要更有優勢，更適合這些快速發展的領域。

張宏波在編程語言上也積累了非常有價值的經驗：

1、在負責 ReScript 全套供應鏈的工作中，他清楚編譯構建系統和 IDE 響應性的協同效應，以及它們之間如何有效配合的必要性。如果從一開始就將這些因素納入考慮，能夠更好地規避潛在的問題，提升開發效率。

2、“ReScript 讓我體會到了快速編譯的重要性。編譯速度遠超同類工具的性能，如果只是 10%，20% 的提升并不能引起用戶很強烈的體驗，但如果是提升 10 倍，就變成一個顯著的速度的優勢，也可以是吸引用戶的一大賣點，就像 Go 語言之所以受歡迎部分原因在于其相比 C++ 的快速編譯一樣，是極其吸引人的。”

3、在Meta從事Flow開發時，張宏波接觸到了超大型代碼庫， 如何在巨大的代碼庫中保持 IDE 的實時響應，這是個巨大的挑戰，所以新語言應該讓IDE 快速響應、讓靜態分析工具能夠迅速理解代碼。

4、OCaml最初考慮學術受眾，學習曲線陡峭，工業化應用有一定瓶頸，新的編程語言一定得得到工業界的支持。

5、在從0到1主導了編譯器構建、系統語言互操作、標準庫設計、IDE搭建等工作后，張宏波發現自己擁有了全新的視野。“最開始我只是懂程序語言領域知識，但沒有全局視角，不知道怎么布局、怎么相互協調。”

6、大模型時代重新塑造了開發者的工作方式，同時也降低了學習新語言的門檻，開發者將更專注于創意和設計，代碼的實現和優化將由編程工具完成。這一轉變推動編程工具從簡單的代碼生成器進化為復雜問題解決平臺。張宏波意識到了這個機遇與挑戰并存時代將重塑軟件開發生態。

借鑒了核心開發團隊過去十幾年在 OCaml, BuckleScript, ReasonML, ReScript, Flow等程序語言及其工具開發上的經驗，張宏波帶領團隊開啟新的征程。

2022 年 10 月， MoonBit （月兔）這門完全由國人自主研發的編程語言誕生！

03

技術快速發展，視野走向國際

1、技術優勢

MoonBit（月兔）語言專為WebAssembly設計，同時提供JavaScript，Native等多種后端,支持函數式和面向對象等多種編程范式,實用的類型系統，面向數據的語言設計，讓任何背景的開發者迅速上手。

MoonBit不僅是一門編程語言，更是一個開發平臺！它涵蓋了通用程序語言設計、編譯器、構建系統、IDE、部署工具等，在語言設計、編譯器和構建系統上實現高度的垂直整合，為用戶提供更佳的開發體驗和性能。

MoonBit 旨在在整個棧中都快速，包括開發性能和運行時性能。

MoonBit 是為多級中間表示（IR）上的全程序優化而設計的，這種方法改善了內存布局，以最小化緩存未命中，并提供了數據和控制流分析的優越環境。

快速的構建性能，特別是 IDE 功能，對于開發者體驗至關重要。與 ReScript 和 Rust 不同，MoonBit 允許函數級并行語義分析。由于它在這個粒度上的增量重分析，MoonBit 能夠處理龐大的單倉庫，并提供毫秒級的響應時間，顯著提高 IDE 的可擴展性。

MoonBit 專為有效的死代碼消除而設計。它省略了妨礙這種分析的語言特性，且有一個結構化的標準庫，便于死代碼的移除。通過全程序優化，MoonBit 大幅減少了最終代碼的大小，提高了安全性并減少了攻擊漏洞。這也確保了在 serverless 計算環境中的快速啟動。

MoonBit這種閃電般的編譯速度、卓越的運行性能，以及安全緊湊的代碼，讓MoonBit非常合適云計算和邊緣計算的場景。

和一般的IDE調用大模型生成代碼不同，在 MoonBit 設計之初，張宏波就考慮到了與大模型的深度融合和互動。

MoonBit 通過局部采樣和全局采樣技術，已經實現了對智能代碼生成的調整和修正，這一策略既確保了 AI 生成代碼的實時調整以符合語法規范，也進一步驗證了代碼的語義正確性。

隨著大型語言模型（LLM）生成新的token，MoonBit采樣器將從局部和全局收集并利用信息，以確保每個生成的token不僅在語法上正確，而且沒有明顯的類型錯誤。這種方法提供了更可靠、更準確的代碼生成，減少了后續調試和錯誤糾正的需要。

今年8月MoonBit Beta 預覽版正式推出，比大部分主流語言更早推出現代化泛型、精準錯誤處理和高效迭代器等重要特性，此舉標志著 MoonBit 生態進入全新階段，為用戶提供更穩定、流暢的創新操作體驗。

2、國際聲音

值得一提的是，MoonBit 不僅在國內備受關注，在海外也頗受歡迎， 發布之初 MoonBit 就登上熱門科技資訊聚合網站 Hacker News，之后又受到知名媒體 The New Stack 的多次報道。后續還在日本知名開發者社區 Zenn 爆火。并獲得 JavaScript 標準委員會聯席主席 Rob Palmer 、 Vue 框架作者尤雨溪等知名技術大咖的點贊。

04

編程創新挑戰賽

為了更好地培養編程語言這一基礎軟件領域的后備人才，MoonBit 于近日發起了面向全球的編程創新挑戰賽。本賽事由河套深港科技創新合作區深圳園區發展署作為指導單位，IDEA 研究院作為主辦單位，騰訊云、深港科創、阿里云天池和深圳市福田區福保街道辦事處作為協辦單位，并邀請到粵港澳大灣區數字經濟研究院創院理事長沈向洋，中國科學院院士、中國科學院軟件研究所學術委員會主任林惠民，中國科學院軟件研究所所長趙琛，香港科技大學（廣州）創校校長、IEEE終身會士、香港工程科學院院士倪明選教授擔任名譽評委。

本次大賽獎金池達12 萬?，并給參賽者提供企業研學和實習直通車等獎勵，大賽分為「程序語言設計與實現」賽道和「游戲開發」賽道，期待選手可以使用 MoonBit 進行奇思妙想和探索硬核的編程語言領域。

在賽程上還設置線上課程給到參賽選手，初賽脫穎而出的隊伍將被邀請到決賽現場，與大咖面對面深度交流。推薦感興趣的開發者，特別是大學生開發者報名參賽。

05

未來之路

MoonBit 具備成為現象級語言的巨大潛力。從開發者數量來看，中國是目前全球程序員最多的國家，這意味著我們擁有一個龐大的開發者用戶基數。然而，幾乎所有的基礎軟件工具都是由國外開發或主要引導的。在編程語言方面，流行的社區主要集中在歐洲，如英國的 GHC、法國的 INRIA（主導 OCaml、Coq）和瑞士的 EPFL（擁有 Scala）。這使得國內在基礎軟件領域存在巨大的市場空白和高度的稀缺性，形成了一個藍海市場。

擁有自己的編程語言對一個國家具有重要的戰略意義，盡管中國在學術論文發表方面已居世界前列，但在基礎軟件領域仍處于“大而不強”的狀態，主要原因之一是缺乏自主開發平臺。大部分的期刊和成果仍在國外平臺發表。近年來，雖然取得了顯著進步，但擁有自己的開發者平臺仍迫在眉睫。國家層面近年來非常關注基礎軟件工作的開展，明確指出要健全和強化基礎軟件等重點產業鏈的發展體制。

在當前良好的政策環境和市場條件下，MoonBit 提供端到端解決方案的產品，即使只有 10% 的市場滲透率，也可以獲得百萬級的用戶基礎，這為商業化提供了堅實的基礎。MoonBit 從一開始就定下了高遠的視野，我們不僅僅是為了填補國內基礎軟件工具的空白，還希望成為一門世界一流的編程語言。我們需要一個優秀的開發者平臺來彌補目前基礎軟件工具的缺失。MoonBit 很有可能在基礎軟件領域實現自立自強，推動中國在這一領域的快速發展并取得國際領先地位。

這個世界是否還需要一門新的編程語言？答案是：是。

編程語言的發展經歷了60年代時，結構化編程的興起。到70年代，則是面向對象編程與C語言。90年代，是腳本語言與互聯網 。而00年代，是語言的統一與多樣性。到了10年代，是現代語言與大數據。編程語言在不斷進步，同時也有大量的編程語言漸漸銷聲匿跡。

大模型時代浩浩蕩蕩的浪潮卷席了萬事萬物。編程語言作為計算機核心組件、且是軟件開發者創造技術世界最重要的工具，自然被頂上風口浪尖。整個技術行業都對編程語言提出了更高的要求。

在大模型時代，工具重塑了開發者的工作方式，同時也降低了學習新語言的門檻。開發者將更專注于創意和設計，代碼的實現和優化則由編程工具完成。這一轉變推動編程工具從簡單的代碼生成器進化為復雜問題解決平臺。

MoonBit AI 云原生開發者平臺——MoonBit 編程語言及工具鏈，就在這個機遇與挑戰并存的時代應運而生。MoonBit 的目標，是重塑軟件開發生態。

當然，大家都知道，MoonBit AI 云原生開發者平臺是一個“道阻且長，行則將至”的系統工程。MoonBit 正在馬不停蹄地擴大 MoonBit 的社區力量、培養社區人才。2 年的時間里 ，MoonBit 工具鏈已有幾百名社區貢獻者和近萬人的全球的用戶，增長速度遙遙領先。

歡迎大家加入MoonBit社區，一起努力，讓MoonBit成為世界一流的編程語言！