夜雨聆风
【香港科学园，2026年7月3日】 7月3日上午，2026全球软件技术峰会（Global Software Technology Summit）亚太专场在香港科学园Conference Hall 06成功举办。作为本届峰会的重要专题之一，"AI原生编程编译专题"（AI-Native Programming and Compilation）汇聚了来自华为、华南理工大学、武汉大学、智子芯元、香港科技大学等学术界与产业界的顶尖专家，共同探讨人工智能时代编程语言与编译技术的演进方向与未来机遇。专题由张岩（Yan Zhang）主持，共吸引数百位开发者与技术决策者到场参与。
部分与会专家合影
01
冯新宇：AI时代需要怎样的编程语言？
专题最受关注的环节之一，来自华为编译器与编程语言实验室& 南京大学冯新宇教授的主题演讲——《Programming Languages in the AI Era》。冯新宇从"AI时代编程语言是否会消失"这一根本问题出发，系统性地提出了AI原生编程语言的演进框架，引发全场热烈讨论。
冯新宇教授正在分享
02
核心洞察：
从"单脑"到"双脑"的计算范式转移
冯教授指出，AI时代带来了计算范式的根本性变革。终端用户从纯人类扩展为"人类+Agent"，需求变得更加可定制和动态；开发者同样从人类扩展为"人类+Agent"；而最核心的变化在于计算模型——从传统的确定性CPU（符号计算）转向"LLM（神经网络）+ CPU（符号计算）"的双脑协同模式。这一转变意味着，编程语言的设计必须重新思考如何在随机性与确定性之间取得平衡，如何通过形式化手段确保智能软件交付可靠的业务结果。
03
三种AI时代的编程语言
1. 规格驱动语言（Spec Languages）：
面对自然语言作为需求描述固有的歧义性和非确定性，冯教授引用了图灵奖得主Dijkstra 1978年的经典论断——"自然语言编程的愚蠢之处"，并在此基础上提出了规格驱动开发（Specification-Driven Development, SDD）。他认为，为了让开发者从"阅读代码"中解放出来，必须建立更抽象层面的形式化规格（Spec）作为"ground truth"，并借助验证技术确保代码与规格的一致性。规格语言将形成类似动态/静态类型谱系的完整严格度谱系，成为AI时代软件开发的关键基础设施。
2. 传统语言的持续进化：
传统编程语言不会消失，而是会演变为Agent的IR（中间表示）后端，更加强调正确性和性能而非易用性。冯教授以Rust的类型系统为例，指出形式化方法在工业语言中的价值将被进一步放大。同时，他展示了华为仓颉（Cangjie）编程语言在Agentic Coding支持方面的实践——通过Cangjie Harness框架，在真实业务场景中实现了高达90%的AI代码生成率、90%以上的迁移成功率，验证了"新语言可以凭借基础设施优势快速追赶"的观点。
3. Agent原生语言（Agent-Native Languages）：
最具前瞻性的是"Agent as Code"新范式。冯教授指出，现有的Workflow和Agentic框架分别存在"僵化"与"不可预测"的问题，而将Agent直接以代码形式表达，可以实现LLM与CPU的细粒度互操作。他提出了基于代数效应（Algebraic Effects）的统一理论框架：Agent = 模型 + Harness，将LLM视为从Prompt/Context到Text/Context+Effect的映射，工具调用作为受控的效应，语义类型和概率分支作为语言层面的原生抽象。这一思路为构建可预测、安全、Token高效的智能代理编程语言奠定了理论基础。
04
仓颉的未来：
从测试到形式化验证的完整图谱
演讲尾声，冯教授还披露了华为仓颉编程语言在AI时代的演进路线图，涵盖测试（Contracts、PBT）、类型系统（Modal Types、Effect Types、Refinement Types）以及形式化验证（Model Checking、Runtime Monitoring、Program Logic）等多个维度，展现了工业界语言在AI原生方向上的系统性布局。
05
专题多元议题，共绘AI编译生态蓝图
除冯新宇教授的主题演讲外，本场专题还设置了多个高质量议题：华南理工大学陆璐分享了基于昇腾的并行加速与编译优化实践；武汉大学金芝探讨了基于自然语言行为约束合成 STL 规格的技术路径；智子芯元丁添与 Dmitry Rybin 展示了 AI Agent在算法优化与发现中的应用；香港科技大学 Lionel PARREAUX 则带来了"将 AI 应用于编译器设计与实现"的一线经验分享。华为高级专家 Yaoqing Gao 与黄见辉分别致开幕与闭幕词，为专题划上了圆满句号。
06
现场互动热烈，仓颉成果引学界关注
演讲结束后，现场讨论氛围热烈，与会学者围绕AI原生编程语言的设计边界、形式化验证与大规模工业落地的可行性展开了深入交流。会场外的展示区域同样人气高涨，仓颉编程语言的海报成为全场焦点之一。海报系统展示了仓颉在语言设计及 Agent 开发支持等方面的技术优势，并集中呈现了仓颉在AI领域的最新成果——包括 Agentic Coding 支持、Cangjie Harness 框架的实践数据.众多来自高校与产业界的学者纷纷驻足与现场团队进行了深入探讨，展现出学术界对国产编程语言与 AI 基础设施前沿进展的高度关注。
左右滑动查看更多
07
结语
从规格驱动开发到Agent原生语言，从传统编译技术到AI赋能的编译器设计，本场专题充分展现了AI原生编程与编译领域的蓬勃活力。正如冯教授所言："形式语言是我们的朋友，而非敌人。" 在AI重塑软件开发的浪潮中，编程语言与编译技术不仅不会消失，反而将以更严谨、更智能、更原生的形态，成为连接人类意图与计算执行的坚实桥梁。全球软件技术峰会将持续关注这一前沿领域，推动学术界与产业界的深度协作，共同定义AI时代的软件基础设施。
（本文基于现场演讲内容整理，仅供技术交流参考）
