冯新宇-华为仓颉：全场景智慧化应用编程语言的技术演进.pdf

1、演讲人：冯新宇目 录仓颉简介问题和挑战仓颉之道开发效率性能扩展性智慧化编程语言的发展仓颉1950s1960s1970s1980s1990s2000s2010s为什么要仓颉语言？生态+技术 能力辐射其他行业，支持全场景应用开发发挥系统优势，垂直整合，最大化的将系统的竞争力透传给开发者提升开发体验和程序性能，为鸿蒙汇聚更多的应用开发者 迎接产业/技术变革智能化、空间化、一体化 繁荣HarmonyOS应用生态，打造最适合HarmonyOS的应用开发语言编程语言作为一个平台，有很大的技术演进和成长空间仓颉语言发展历程https:/ HarmonyOS NEXT版本选用仓颉开发完成原型构建，性能竞争力显

2、现建立国内首个编程语言技术社区，启动“内测”2021.10华为HDC预告华为自研编程语言仓颉 仓颉语言项目正式通过立项 与南大成立“下一代程序设计创新实验室”与北大胡振江教授团队建立技术合作，开展元编程技术研究语言原型构建内部应用试点外部应用试点仓颉语言的应用案例问题和挑战问题和挑战应用框架/中间件系统软件应用开发如何结合业务场景需求，寻求最佳的（开发）效率、性能和安全的平衡？如何做到Future-Proof？问题和挑战 多样性 场景多样：表达力和抽象的能力需求多样 普通业务逻辑 领域相关（造轮子）：UI、AI、数据库、网络 设备/平台多样：性能需求多样 端侧：各种终端设备，资源各异 云侧：大

3、内存、高并发 开发者群体多样：个人开发者 企业开发者 水平和技术能力的多样性通用编程语言必然面临多样性需求，如何“兼顾”？技术如何“变革”？问题和挑战 移动应用开发需求 高性能 移动设备资源受限：性能、内存、功耗敏感 人机交互的实时性要求高，避免卡顿 下载、安装时间敏感：编译性能 高生产力 敏捷开发，简洁开发范式 多设备、跨平台 设备/平台多样性：一多能力 动态性 动态发布、动态更新问题和挑战 智慧化 AI for Language?Language for AI?仓颉之道仓颉之道：开发效率和性能平衡发展仓颉自动内存管理（垃圾收集）静态类型开发效率C+CRustJSPythonLuaJavaG

4、oSwiftKotlin轻量业务开发 动态脚本语言重业务开发静态类型应用开发语言性能系统编程注：此图仅为示意三类语言的划分，不追求各种语言在坐标中位置的准确性Dart安全Ruby类型：动态 静态内存管理：动态 静态仓颉C#“Only path left is domain specific architectures”仓颉之道：可扩展性应对多样性可扩展性仓颉语言eDSL/三方库/框架eDSL/三方库/框架eDSL/三方库/框架业务逻辑业务逻辑业务逻辑编程语言创新的机会在DSL！仓颉之道：可扩展性应对多样性声明式UI声明式开发模式更好的处理复杂状态管理，提升开发效率分布式数据对象数据在不同设备间

5、传递及更新逻辑复杂，通过领域抽象屏蔽跨设备数据传输复杂度func postCreateAccount(account:Account)/Account元数据生成类if(account.balance 100000.0)let customer=OQL(/内嵌OQL(eDSL)SELECT*FROM Customer WHEREid=account.customerId)customer.vip=true update(customer)/平台能力封装（实体引擎eDSL）数据库开发者聚焦于业务逻辑的表达，简单易用使用数据库对象与事务操作并发框架在并发框架内，方便地定义出并发安全类，并且不需要显示

6、地使用互斥锁仓颉之道：Agent编程和代码生成 仓颉 for AI Agent编程框架，支持智能原生应用开发 AI for 仓颉 克服新语言语料不足短板，增强代码生成能力 契约编程提升代码生成质量仓颉之道开发效率性能扩展性智慧化开发效率：多范式编程AnyInt8/16/32/64,Float32/64,Bool,String,Array,VArray,Tuple:(T1,T2,Tn)Function:(T1,T2,Tn)-Tr自定义类型：自定义类型：struct自定义类型：自定义类型：enumsI1InI11I1nO1OnO11O1nObject接口类Nothing函数式 命令式面向对象开发效