99国产精品欲av蜜臀,可以直接免费观看的AV网站,gogogo高清免费完整版,啊灬啊灬啊灬免费毛片

網易首頁 > 網易號 > 正文 申請入駐

被質疑套殼的編程語言也能進入北大,成為計算機學院研究生課程?

0
分享至

0 1

引言

在科技領域,每一次重大突破的背后,往往都有一群默默耕耘的探索者。近期國產技術的崛起讓我們看到了中國在人工智能領域的潛力,也提醒我們:在基礎軟件的廣袤領域中,還有很多未廣為了解的核心技術在飛速發展!

知乎上有很多關于國產&編程語言的討論:

- 國產編程語言這桿大旗有誰能扛起來嗎?

- 中國人就只能套殼,仔細一扒開都是國外的技術?

- 為什么沒有中國人發明一個獨立靠譜的編程語言呢?

但其實國內已經誕生了基礎軟件領域——編程語言中的一顆新星,它就是MoonBit 。

有不少試用過的程序員給出了評價。或許大家已經被之前各種套殼的新聞搞得有些 PTSD,但事實上中國的科技實力已經遠超想象。




作為一門新興的編程語言,MoonBit 語法簡潔、類型系統強大、跨平臺支持、在 WASM 領域具有先天優勢、原生AI支持,它似乎正在悄悄改變編程語言格局。

MoonBit 社媒平臺顯示已正式被企業應用,包括數據庫公司、海外的云廠商、高校和競賽組織等應用。最近也正式進駐到北京大學計算機學院的研究生課程《編程語言的設計原理》中,作為一門新的編程語言,短短兩年間就進入最高學府的課堂中,也算是一個「壯舉」。



用 Deepseek 生成了編程語言對比

個人判斷應該 MoonBit 在探索編譯器設計、類型系統和運行時優化等核心問題上優勢更強。而且MoonBit 語法簡潔、學習曲線平緩,且提供在線 IDE 和編譯器 Explorer,對于教學與實驗場景來說是很合適的。

值得注意的是,MoonBit 不止在國內被稱為「國產編程語言之光」,在海外也得到了眾多老外的認可:


最近我注意到國際上 WASM 技術最權威的大會上也見到了 MoonBit 的身影。


總的來說 MoonBit 的出現,讓我意識到,中國在基礎軟件領域同樣擁有巨大的創新潛力。

呼吁大家關注和支持基礎軟件的創新。未來的技術突破,很可能就隱藏在這些尚未被廣泛發現的“寶藏”之中。

0 2

MoonBit 發展觀察

MoonBit 是由來自深圳 Rescript 作者張宏波團隊打造的開源編程語言,目前大概發展了兩年時間,專注于 WebAssembly(Wasm)和 AI 技術,發展非常迅猛。

1、2024 年MoonBit 的發展歷程


4 月:新增 JavaScript 后端,超越原生性能8倍以上

8 月:發布 beta 版,支持零開銷泛型和精準錯誤處理。核心語言特性超越大部分主流語言的1.0版本,語言特性開發穩定。社區成員自發編寫的MoonBit-Extism插件,已被Extism納入官方PDK庫,成為海外社區支持下的首個實用案例

10 月:新增 Native 后端,拓展應用場景。值計算領域相比 Java 快一個數量級,內存管理性能優于 Java & Swift。

12月:Github 正式收錄MoonBit

12月:WASM 核心編譯器開源

25年初:核心用戶近 4 萬

2、MoonBit 的優勢


MoonBit 作為一個新的編程語言,選擇從 WASM 切入,擴大用戶生態,但我理解它的最終版圖很大,最終應該是希望進展原生后端等多層面的工作。

MoonBit 語言融合了 Python、JavaScript 等多個語言優勢,通過緊湊語法與語義革新降低代碼復雜度,其核心設計亮點如果總結的話大概分為四大領域:

(1)云邊端性能標桿

編譯為 WebAssembly(體積僅 Rust 1/4,運行速度超 Go 35 倍),原生沙箱安全與內存隔離技術賦能云原生高并發場景(如 27KB 超輕量 HTTP 服務)

(2)嵌入式硬件突破

支持 RISC-V 指令集直接調用硬件層(如傳感器),無虛擬機原生機器碼性能碾壓 Java/Swift(FFT 算法提速 15 倍),內存占用優化適配 IoT 設備

(3) 數據流處理革命

內置 JSON 解析加速(25 倍于 JS)與響應式編程范式,結合靜態類型系統實現實時數據流可靠處理(股票行情/游戲場景毫秒級響應)


(4)全棧開發新基建

支持 Wasm/JS 雙后端編譯(JSON 處理快 JS 8 倍),兼容 C 語言生態調用 AI 推理庫,已應用于高性能圖數據庫與系統級工具鏈開發

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

我看了MoonBit 官方寫的論文:

https://Ilm4code.github.io/2024/assets/pdf/papers/7.pdf,感覺 MoonBit 有了 AI大模型的加持簡直如虎添翼,也理解了他們所謂的 AI 原生:「MoonBit 是真正意義上誕生在大模型時代,從最開始的語言設計上就思考如何更好的和大模型交互的編程語言。」

MoonBit 也有 VSCode的插件,支持了國產大模型 DeepSeek,整個體驗很不錯:https://marketplace.visualstudio.com/items?itemName=moonbit.moonbit-lang


0 3

值得說的最新的進展 —LLVM后端

MoonBit可以編譯成WASM,JavaScript,然后在各自的虛擬機執行。MoonBit也可以編譯成C語言,最后生成二進制機器碼,直接在硬件上執行,這不僅意味著性能的顯著提升,也使得MoonBit成為適合嵌入式和IoT開發的理想選擇。

但是,雖然C語言很成熟,但它是一個分散的生態系統,不同的 C 編譯器對語言標準有著各自的解釋,并開發了獨特的語言擴展。這導致了大量未定義或依賴具體實現的行為,這些都可能成為潛在的技術陷阱。整數溢出、位域操作、枚舉的底層類型等都是典型例子。因此,在將MoonBit程序轉譯為 C 代碼時,要在不同平臺間保持一致的語義變得極具挑戰性。

相比之下,LLVM 提供了一個截然不同的解決方案,它有一個中間表示(IR),各種編程語言可以先編譯成IR,然后LLVM再把IR轉換為目標機器代碼(如 x86、ARM 等)。


只要把MoonBit編譯成LLVM IR,就可以繞開C語言及其編譯器,不但可以生成原生的機器代碼,還可以充分享用LLVM編譯基礎設施帶來的好處。


1、底層代碼優化

LLVM 提供了通用的優化框架(如循環優化、內聯等),開發者無需重復實現。

2、調試信息支持

LLVM提供的調試信息支持讓我們能夠精確地將代碼映射到源文件,通過 gdb 或 lldb 提供更優質的調試體驗。

調試信息生成以及跨平臺代碼生成等繁重工作。

3、跨平臺支持

只需為不同硬件實現對應的 LLVM 后端,即可讓同一語言支持多種架構(如 x86、ARM、GPU)。

0 4

總結

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

所以我認為 MoonBit 在未來2-3 年內有機會吸納幾十萬程序員,形成一個繁榮的生態系統,之后會在幾個優勢領域中進行扎根,成為強勢的工具。如符號計算(LLVM 替代)、硬件開發、云原生服務等。

這樣快速迭代發展下去,國產的MoonBit 很有可能成為廣泛流行的編程語言。

特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相關推薦
熱點推薦
抖臀、下腰、劈腿,lisa科切拉舞蹈動作全是性暗示,網友:沒眼看

抖臀、下腰、劈腿,lisa科切拉舞蹈動作全是性暗示,網友:沒眼看

九米媽媽
2025-04-14 21:52:44
個稅退稅要小心了!沒想到稅局竟這樣查個稅!抓緊自查!

個稅退稅要小心了!沒想到稅局竟這樣查個稅!抓緊自查!

曉風說
2025-04-14 17:03:19
上海網友偶遇朱珠,身高不高但真人很漂亮,說話很溫柔

上海網友偶遇朱珠,身高不高但真人很漂亮,說話很溫柔

喜歡歷史的阿繁
2025-04-13 03:44:57
全球見證歷史!中方宣布對美“貿易清零”,特朗普鐵粉后悔投錯票

全球見證歷史!中方宣布對美“貿易清零”,特朗普鐵粉后悔投錯票

生活魔術專家
2025-04-14 19:04:38
變天了!中國公布芯片關稅新政,美國頓時傻了眼!

變天了!中國公布芯片關稅新政,美國頓時傻了眼!

52赫茲實驗室
2025-04-14 15:09:04
曼城的痛!25歲阿爾瓦雷斯無敵雙響炮,賽季已制造31球,太牛了

曼城的痛!25歲阿爾瓦雷斯無敵雙響炮,賽季已制造31球,太牛了

側身凌空斬
2025-04-15 05:28:24
談判大門關閉!特朗普開出條件,中方果斷拒絕,美國直接動手了

談判大門關閉!特朗普開出條件,中方果斷拒絕,美國直接動手了

絕對軍評
2025-04-15 08:33:57
特朗普甩鍋世界第一:中國太聰明不能怪我,都賴瞌睡喬留的爛攤子

特朗普甩鍋世界第一:中國太聰明不能怪我,都賴瞌睡喬留的爛攤子

大道無形我有型
2025-04-14 16:25:09
江西一家三口被撞身亡案開庭 死者家屬:限速40公里跑到105公里,司機疑與女友吵架后超速泄憤

江西一家三口被撞身亡案開庭 死者家屬:限速40公里跑到105公里,司機疑與女友吵架后超速泄憤

封面新聞
2025-04-15 10:41:02
放量超10萬瓶1499元飛天茅臺!山姆加速“圍獵”中產,有會員稱“抽簽門檻越來越高”

放量超10萬瓶1499元飛天茅臺!山姆加速“圍獵”中產,有會員稱“抽簽門檻越來越高”

時代財經
2025-04-15 11:48:15
央視直播4月15日澳門世界杯賽程,王楚欽對薩琳,孫穎莎戰張墨

央視直播4月15日澳門世界杯賽程,王楚欽對薩琳,孫穎莎戰張墨

乒乓球球
2025-04-15 00:28:25
一省抵多國,云南被大大低估了 | 地球知識局

一省抵多國,云南被大大低估了 | 地球知識局

地球知識局
2025-04-14 11:47:22
烏軍HIMARS襲擊庫爾斯克的俄軍第30摩步團指揮所,導致俄軍7死4傷

烏軍HIMARS襲擊庫爾斯克的俄軍第30摩步團指揮所,導致俄軍7死4傷

山河路口
2025-04-14 23:38:12
重返球場!官宣:唐才育加盟香港金牛籃球俱樂部

重返球場!官宣:唐才育加盟香港金牛籃球俱樂部

直播吧
2025-04-15 12:28:08
香港第一家庭女兒之死:看似“安詳”的告別背后,隱藏著不曾被聽見的呼救

香港第一家庭女兒之死:看似“安詳”的告別背后,隱藏著不曾被聽見的呼救

行走的知識庫
2025-04-15 07:59:40
世界杯爆大冷!世界亞軍1:3開門黑,日韓名將落敗,王藝迪打硬戰

世界杯爆大冷!世界亞軍1:3開門黑,日韓名將落敗,王藝迪打硬戰

知軒體育
2025-04-15 01:45:29
特朗普不肯罷休,馬斯克罕見提醒,中國有一項技能,被美國忽視了

特朗普不肯罷休,馬斯克罕見提醒,中國有一項技能,被美國忽視了

阿傖說事
2025-04-15 10:01:11
準備登機離國,78歲特朗普上任首訪,中國致電沙特,對美改變稱呼

準備登機離國,78歲特朗普上任首訪,中國致電沙特,對美改變稱呼

新語愛八卦
2025-04-14 15:32:42
為什么黃春梅和小s對玥兒箖箖漠不關心?因為本來就不親,大s不值

為什么黃春梅和小s對玥兒箖箖漠不關心?因為本來就不親,大s不值

小嵩
2025-04-15 09:05:34
太慘了!3月汽車投訴榜,最多投訴超1500例,比亞迪成“重災區”

太慘了!3月汽車投訴榜,最多投訴超1500例,比亞迪成“重災區”

春序娛樂
2025-04-14 10:38:12
2025-04-15 13:24:49
碼農翻身 incentive-icons
碼農翻身
有趣且硬核的技術文章
118文章數 456關注度
往期回顧 全部

科技要聞

OpenAI放大招!GPT-4.1上線,編程戰力全開

頭條要聞

解職十余名美軍軍官 美國開始對格陵蘭、巴拿馬動手了

頭條要聞

解職十余名美軍軍官 美國開始對格陵蘭、巴拿馬動手了

體育要聞

父母是臺灣移民!女林書豪被WNBA球隊選中

娛樂要聞

專訪 | 王安宇:角色是為觀眾服務的

財經要聞

特朗普為何攪亂貿易?謎題即將解開

汽車要聞

轉型中的"穩健派" 一汽-大眾的智能化突圍路徑

態度原創

手機
家居
教育
親子
公開課

手機要聞

一加 13T 手機跑分曝光:驍龍 8 至尊版芯片、16GB 內存

家居要聞

現代本真 展現歸零心態

教育要聞

阿里大文娛集團暑期實習招聘開啟!

親子要聞

日本天皇唯一繼承人,近親結婚智力有問題?滿分1000分只考20分

公開課

李玫瑾:為什么性格比能力更重要?

無障礙瀏覽 進入關懷版 主站蜘蛛池模板: 江华| 永安市| 原平市| 广汉市| 板桥市| 上林县| 江孜县| 太谷县| 东安县| 西乡县| 孝义市| 长宁区| 北碚区| 互助| 海安县| 武穴市| 兴文县| 沙田区| 敦化市| 广元市| 临湘市| 普格县| 波密县| 亚东县| 湄潭县| 华宁县| 特克斯县| 平陆县| 灵武市| 屯门区| 蒙自县| 苍溪县| 临沧市| 永修县| 句容市| 石楼县| 丰镇市| 安平县| 横山县| 桦甸市| 广南县|