當(dāng)?shù)貢r間2025年12月2日上午，歐洲開源鴻蒙城市技術(shù)論壇第四站于英國愛丁堡圓滿落下帷幕。本次論壇匯聚了來自華為、愛丁堡大學(xué)以及產(chǎn)業(yè)界的專家，共同探討操作系統(tǒng)、新型編程語言及大模型編程等前沿議題。這次論壇旨在基于開放、共享、合作的社區(qū)精神，為構(gòu)建更安全、更高效、更智能的萬物互聯(lián)世界注入強勁的創(chuàng)新動能。

本次愛丁堡站的技術(shù)論壇聚焦于提升軟件開發(fā)效率和系統(tǒng)可靠性的核心技術(shù)，內(nèi)容涵蓋了從編程語言的底層設(shè)計到AI驅(qū)動的開發(fā)工具。邀請了華為愛丁堡研究所技術(shù)專家Steven Cheung、Magnus Morton，愛丁堡大學(xué)博士生Wenhao Tang、Yixuan Li出席這次論壇。

華為愛丁堡研究所技術(shù)專家Steven Cheung出席活動并作《A gentle intro to Cangjie》的報告。倉頡編程語言作為OpenHarmony生態(tài)中的關(guān)鍵組件，Steven Cheung系統(tǒng)地展示了其核心設(shè)計理念和基礎(chǔ)能力，引發(fā)了與會者的濃厚興趣。

Steven Cheung做報告

華為愛丁堡研究所技術(shù)專家Magnus Morton出席活動并作《Hands on with Effect Handlers in Cangjie》的報告，并深入講解了倉頡的并發(fā)和控制流特性。該報告詳細介紹了Effect Handlers，并通過實踐案例展示了其在簡化異步編程和復(fù)雜狀態(tài)管理中的巨大潛力。

Magnus Morton做報告

愛丁堡大學(xué)博士生Wenhao Tang出席活動并作《Modal Effect Types》的報告。分享了關(guān)于類型系統(tǒng)的最新研究成果——“Modal Effect Types”。這一內(nèi)容探討了如何通過先進的模態(tài)效應(yīng)類型（Modal Effect Types）來增強軟件的安全性和可驗證性，為提升系統(tǒng)魯棒性提供了新的視角。

Wenhao Tang做報告

愛丁堡大學(xué)博士生Yixuan Li出席活動并作《LLM Enabled Program Synthesis》的報告。他探索了當(dāng)前最熱門的前沿領(lǐng)域，該報告描繪了大語言模型（LLM）賦能的程序如何幫助開發(fā)者自動生成代碼、加速開發(fā)進程的未來圖景。

Yixuan Li做報告

這次愛丁堡站的成功舉辦，再次證明了開源鴻蒙在國際學(xué)術(shù)界和產(chǎn)業(yè)界中日益增長的影響力。開源鴻蒙技術(shù)論壇不僅是技術(shù)知識的單向傳遞，更是不同背景的專家學(xué)者之間思想交流與智慧碰撞的平臺。通過在編程語言、類型系統(tǒng)和AI 輔助開發(fā)等基礎(chǔ)技術(shù)領(lǐng)域的深入探討，愛丁堡站技術(shù)論壇正吸引國際技術(shù)人才參與開源鴻蒙核心技術(shù)的持續(xù)演進。未來，開源鴻蒙將持續(xù)在海外開展開源技術(shù)生態(tài)活動，與全球開源社區(qū)開發(fā)者們共享技術(shù)資源，共同探討技術(shù)進展，持續(xù)推動全球開源生態(tài)良好發(fā)展。

供稿：胥耀

責(zé)編：張婕逾

編審：徐冰清

審核：劉果

審核編輯 黃宇