华为仓颉：全场景智慧化应用编程语言的技术演进

编程语言的发展2000s2010s繁荣HarmonyOS应用生态，打造最适合Har提升开发体验和程序性能，为鸿蒙汇聚更多的应用开发者发挥系统优势，垂直整合，最大化的将系统的竞争力透传给开发者智能化、空间化、一体化…编程语言作为一个平台，有很大的技术仓颉语言发展历程仓颉语言团队成立语言原型构建仓颉语言团队成立程序设计创新实验室”“内测”建立编程语言技术社区正式立项外部应用试点预览版发布外部应用试点内部应用试点仓颉语言发布头部企业加入头部企业加入仓颉语言首商用/cn/videolist/enterprise/29ece690231a4705967dedb03916d97a仓颉语言的应用案例•如何结合业务场景需求，寻求最佳的（开发）效 ）：•云侧：大内存、高并发… •下载、安装时间敏感：编译性能… •AIforLanguage?仓颉之道：开发效率和性能平衡发展类型：类型：动态静态轻量业务开发重业务开发动态脚本语言重业务开发仓颉仓颉仓颉开发效率静态类型应用开发语言JSSwift内存管理：动态静态JavaC#C++C系统编程注：此图仅为示意三类语言的划分，不追求各种语言在坐标中位置的准确性开发效率静态类型应用开发语言JSSwift内存管理：动态静态JavaC#C++C系统编程architectures”声明式UI分布式数据对象数据库funcpostCreateAccoun)}并发框架仓颉之道：Agent编程和代码生成•仓颉forAI•AIfor仓颉开发效率：多范式编程开发效率：多范式编程I1I1…InI11…I1nO1…On类Float32/64,Array<T>,I11…I1nO1…On类Float32/64,Array<T>,VArray<T,$N>,O11…O1n…O11…O1n开发效率：特性丰富，简单易用…宏…}}f.get()前后端编译优化https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html移动应用并发场景仓颉并发能力，兼顾易用性、并发安全和性能…•提供用户态的轻量级线程，线程开销比系统线程小•支持线程间共享内存，支持线程同步•支持M:N线程模型，支持抢占式调度仓颉并发能力沙盘原子类型原子类型协作式取消协作式取消Thread类型锁锁搬移栈上根引用指向的对象修复堆中的旧引用性能：全并发GC仓颉全并发内存整理算法!!compact(&!!compact(&reclaim)compact(&compact(&reclaim)!全并发GC时延更低•偏爱符号胜过关键字…），扩展性：语法特性扩展性：语法特性基于仓颉语言原生领域扩展能力，构建声明式UI范式，协同ArkUI引擎，使能高效宏宏属性机制@ComponentText(user.username)Text(user.status())}.alignItems(HorizontalAlign.Start)}实例来源于：/Cangjie/HarmonyOS-Examples/tree/m过程宏：一段仓颉代码，对输入代码的to“新语法”“新语法”@eval(xx=wrapperF(f(x**2))}扩展性：多阶段过程宏}}………}……}……}}语言设计中的一些两难选择和未来可能仓颉forAI：内嵌AgentDSL的大模型应用开发框架AgentDSLAgentDSL简化Agent开发自然语言&编程语言有机融合@prompt[pattern=APE](expectation:“生成一条合理的旅游景}仓颉AgentDSL模型聚合|多Agent协同|高效检索RAG|智能工具链简化符号表达，模式自由组合基于仓颉的eDSL能力@agent[仓颉forAI：AgentDSL和框架简化Agent@agent[单Agent编程Agent多轮交互Agent多模数据传递结构化提示词Agent多轮交互Agent多模数据传递结构化提示词模型、规划等一键配置]@prompt[pattern:ERP](}预置模板引导提示词编写最佳实践基础单次交互letresult=foo.chat("五千克的苹@@llmAccessible输出结果自动转换为自定义类型}letresult=foo.chatGet<MyDate>("牛顿出生时间")维护对话历史，完成多轮交互维护对话历史，完成多轮交互@dialog[agent:foo]()爱因斯坦出生日期牛顿出生日期…仓颉forAI：开发框架助力Agent生态构建Agentpaths:/calculator:post:summary:"数学计算助理"requestBody:required:truecontent:application/json:schema:type:objectproperties:input:-input@agent[url:"/v1"usage:"auto"]查找可用AgentclassUser查找可用Agent,Agent共多单Agent多单开发框架通过基础能力助力开发框架通过基础能力助力Agent生态构建1•统一的Agent声明标准和通信协议•智能的Agent自动选用AgentAgent声明规约AgentHub通信协议通信协议MultiMulti-Agent协同（AgentHub协同运行时）模式1手动指定…@agent[url:"/v1"usage:["calculator"]]classUser1{},@agent[description:"数学计算助理"]classCalculator{@prompt("完成数学计算任务"}模式2发布注册Agent管理[1]:Chen,Weize&You,Ziming&Li,Ran&模式1手动指定…@agent[url:"/v1"usage:["calculator"]]classUser1{},@agent[description:"数学计算助理"]classCalculator{@prompt("完成数学计算任务"}模式2发布注册Agent管理AIfor仓颉：新兴语言的大模型代码生成挑战AIfor仓颉：大模型仓颉代码生成+及跨语言代码转换基于LLM的数据增强@@contract[]}throwContractException(“requirefailed”)}}throwContractException(“ensuresfailed”)}throw