法院認為不能認定武漢大學圖書館男生實施性騷擾,學校應不應該撤銷處分?撤銷處分難點在哪?
絕美一幕,見者好運!網(wǎng)友分享雨后油畫般的七彩祥云懸掛天邊
(文/觀察者網(wǎng)呂棟編輯/張廣凱)
7月31日,觀察者網(wǎng)從知情人士獲悉,華為已在代碼托管服務平臺Gitcode上正式開源自研倉頡編程語言,開源內容包括編譯器、運行時和標準庫等。
根據(jù)官網(wǎng)介紹,倉頡編程語言是一款面向全場景智能的新一代編程語言,主打原生智能化、天生全場景、高性能、強安全,主要應用于鴻蒙原生應用及服務應用等場景中。
華為首次發(fā)布倉頡編程語言,是在2024年6月。當時華為在介紹“純血鴻蒙”時提到,該系統(tǒng)實現(xiàn)了操作系統(tǒng)內核、文件系統(tǒng)、編程語言、編譯器/運行時、編程框架等核心技術全棧自研。
鴻蒙操作系統(tǒng)核心技術圖源:觀察者網(wǎng)
觀察者網(wǎng)注意到,南京大學官網(wǎng)一篇文章提到,2019年,華為啟動倉頡編程語言項目,南京大學計算機科學與技術系馮新宇教授擔任首席架構師,領導華為編程語言實驗室開展項目研發(fā)。
“倉頡語言的發(fā)布,代表我國在基礎軟件研發(fā)領域取得又一項重要進步。倉頡語言的成功研發(fā),表明我國具備了現(xiàn)代通用編程語言設計和先進編譯器研制的核心技術能力,同時也組織培養(yǎng)了一支具備國際一流競爭力的專業(yè)隊伍。”文章寫道。
今年6月在華為開發(fā)者大會上,華為終端BG軟件部總裁龔體宣布,倉頡編程語言將于7月30日開源,包括編譯器、運行時和標準庫。
華為開發(fā)者官網(wǎng)的一篇文章介紹,鴻蒙支持ArkTS(基于TypeScript改進)、倉頡和C/C++三種編程語言,它們相互補充,共同支撐鴻蒙應用生態(tài)構建。作為鴻蒙的主力編程語言,ArkTS有先發(fā)優(yōu)勢,API庫比較豐富;倉頡后發(fā)奮進,天然高性能和安全。
圖源:非官方社區(qū)“開源倉頡”
過去數(shù)年,華為曾開源多個自研核心軟件,包括操作系統(tǒng)OpenHarmony和openEuler,數(shù)據(jù)庫OpenGauss,AI框架MindSpore,大數(shù)據(jù)與中間件CarbonData等等,盤古大模型也實現(xiàn)了部分開源。
今年7月,工信部相關負責人曾表示,中國開源體系建設不斷完善,多家科技企業(yè)推出一批開源軟件成果,比如倉頡編程語言、星環(huán)車載操作系統(tǒng)、文心大模型等加速發(fā)展。
“開源鴻蒙生態(tài)加速演進,截至6月底,搭載開源鴻蒙操作系統(tǒng)的產品種類超1200款,總量超11.9億臺,開發(fā)者超720萬,上架應用與元服務數(shù)量超2.5萬個,生態(tài)伙伴超450家?!彼榻B道。
前不久,深開鴻CEO王成錄在與觀察者網(wǎng)對話時曾坦言,開源對中國軟件產業(yè)來說,是必然的選擇,也是必須的路徑。中國軟件發(fā)展最大的問題,就是大家各自為政,小團隊重復造輪子,浪費了大量資源,開源的機制正好可以解決這個問題,大家都能看到彼此的成果,減少重復勞動。更重要的是,開源是貢獻導向的,誰貢獻多誰就能獲得更多。
本文系觀察者網(wǎng)獨家稿件,未經授權,不得轉載。