當前位置: 妍妍網 > 資訊

華為自研程式語言倉頡首次面世,首席架構師馮新宇確認出席2024全球軟體研發技術大會!

2024-06-29資訊

歷經 5 年聚力攻關,久聞於世的倉頡程式語言終於首次公開釋出,已完成設計與實作,並啟動了開發者預覽。

最新訊息,倉頡程式語言背後的帶頭人 —— 華為程式語言首席專家、倉頡程式語言首席架構師、南京大學教授 馮新宇 確認出席 2024 全球軟體研發技術大會, 將發表【倉頡:一款全場景智慧化套用程式語言】主題演講(Keynote),分享關於倉頡程式語言的設計理念、起源和挑戰,以及大模型時代電腦程式語言發展的思考。

作為指引軟體行業創新趨勢的標誌性盛會, SDCon 2024 全球軟體研發技術大會 將於 7 月 4 日至 5 日在北京威斯汀酒店盛大舉辦, 不僅邀請到了軟體界的技術巨擘,包括 MIT 電腦與 AI 實驗室(CSAIL)副主任、ACM Fellow Daniel Jackson 和世界著名軟體架構大師、雲原生及微服務領域技術先驅 Chris Richardson 等,還有微軟、百度、阿裏、騰訊、字節、京東、小紅書、智源研究院等 50+ 企業及組織的資深技術專家齊聚,分享軟體開發智慧化、大模型套用開發、雲原生等軟體開發全生命周期的實戰幹貨經驗。

倉頡程式語言首席架構師

出席 SDCon 並行表主題演講

華為倉頡程式語言於 2019 年啟動,馮新宇教授擔任首席架構師,領導華為程式語言實驗室開展計畫研發。此外,他還是一位在程式語言和形式化方法領域深具影響力的學者,主要研究方向為程式設計語言的設計與實作、程式設計語言理論、以及形式化程式驗證。馮教授的研究重心在於利用理論、先進的程式語言及工具來構建經過形式化認證的系統軟體,確保軟體的安全性和正確性達到最高標準。

馮新宇,華為程式語言首席專家、倉頡程式語言首席架構師、南京大學教授

除了主導倉頡程式語言的研發, 馮新宇 教授 的其他工作還包括安全系統程式語言的設計和實作、作業系統內核驗證、編譯器驗證以及細粒度/無鎖並行演算法驗證等,相關工作獲 PLDI'19 優秀論文獎。他先後擔任 APLAS'15、APLAS'17 和 SETTA'18 的程式委員會主席或大會主席,並多次擔任 POPL 和 PLDI 等國際會議的程式委員會委員。

在會議首日的主會演講環節,馮新宇教授作為特邀嘉賓,與技術界和學術界重量級嘉 賓 Daniel Jackson 和 Chris Richardson 北京智源人工智慧研究院副院長兼總工程師林詠華,CSDN 高級副總裁、Boolan 首席技術專家李建忠 聯袂進行主題演講。 馮新宇教授 將為所有軟體開發者們深入分享倉頡程式語言的起源與設計理念、當前面臨的關鍵技術挑戰,以及在大模型時代,如何透過程式語言支持原生智慧套用開發的思考。

華為重磅打造

國產自研全場景智慧化程式語言倉頡

倉頡程式語言是華為研發的一款新型全場景智慧化套用程式語言,旨在面向萬物互聯的智慧世界,為套用開發者帶來高效的開發體驗和卓越的效能競爭力。 其透過現代語言特性的整合、 全方位的編譯最佳化和執行時實作,以及開箱即用的 IDE 工具鏈支持,為開發者打造友好開發體驗和卓越的程式效能。

不僅如此,倉頡還內嵌 AgentDSL 的編程框架,自然語言 & 程式語言有機融 合;多 Agent 協同,簡化符號表達,模式自由組合,支持各類智慧套用開發, 主打原生智慧化。為開發者融入鴻蒙生態提供良好的編程體驗。

倉頡還支持面向套用開發的一系列工具鏈,包括語言服務(高亮、聯想)、偵錯(跨語言偵錯、執行緒級視覺化偵錯)、靜態檢查、效能分析、包管理、文件生成、Mock 工具、測試框架、覆蓋率工具、Fuzz 工具以及智慧輔助編程工具,進一步提升軟體開發體驗以及效率。

深入了解倉頡程式語言:

  • 倉頡程式語言官網:https://developer.huawei.com/consumer/cn/cangjie/

  • 倉頡程式語言開發指南:https://developer.huawei.com/consumer/cn/doc/openharmony-cangjie/89_u7f16_u7a0b_u8bed_u8a00_u5f00_u53d1_u6307_u5357

  • 倉頡程式語言庫API:https://developer.huawei.com/consumer/cn/doc/openharmony-cangjie/libs_overview_ohos

  • SDCon 2024 參會倒計時

    軟體研發智慧化,50+幹貨議題一覽

    距離 SDCon 2024 全球軟體研發技術大會開幕僅剩 4 天,參會報名已進入最後沖刺階段,剩余席位屈指可數,請大家抓緊時間 與全球 50+ 頂尖技術專家面對面,沈浸式探索軟體開發智慧化、AI 智慧套用開發、雲原生架構、可觀測性技術的最新進展等前沿話題。

    此外,大會還特別增設多個 圓桌討論&即問即答的 QA 環節 圓桌對話將聚焦於「智慧化開發實踐」與「AI 原生套用實戰」等前沿議題。摒棄預設劇本,現場直接邀請參會者丟擲他們最迫切、最具洞察力的問題,激發思維碰撞,鼓勵即時反饋與深度探討,共同繪制軟體開發未來的智慧藍圖。

    2024 全球軟體研發技術大會誠邀全球技術愛好者及軟體研發精英,親臨這場智慧與技術交融的盛宴。

    站在 AI 與軟體研發的交匯點,與 Chris Richardson、Daniel Jackson 等世界級巨擘並肩,及眾多來自華為、BAT、微軟、字節跳動等實戰派專家面對面,共享思維碰撞的火花。立即註冊參會,解鎖你的技術探秘之旅~

    立即報名參會

    官方網站:http://sdcon.com.cn/

    購票熱線:400-821-5876

    購票咨詢:[email protected]

    企業參展:[email protected]

    ↓↓ 點選「 閱讀原文 」,前往「2024 全球軟體研發技術大會」官網~