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

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

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

Steven Cheung做報(bào)告

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

Magnus Morton做報(bào)告

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

Wenhao Tang做報(bào)告

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

Yixuan Li做報(bào)告

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

供稿：胥耀

責(zé)編：張婕逾

編審：徐冰清

審核：劉果

審核編輯 黃宇