# Cherri 语言设计：如何将领域特定语言编译为 Apple Shortcut > 深入分析 Cherri 编译器如何解决 DSL 到 Apple Shortcut 的语法转换、语义映射与类型系统设计等工程挑战。 ## 元数据 - 路径: /posts/2026/03/31/cherri-shortcuts-compiler-dsl/ - 发布时间: 2026-03-31T16:25:51+08:00 - 分类: [compilers](/categories/compilers/) - 站点: https://blog.hotdry.top ## 正文 在苹果生态中，Shortcuts（原 Workflow）已经成为自动化工作流程的核心工具。然而，Shortcuts 的可视化编辑方式在处理复杂逻辑时显得笨拙——重复循环、条件分支和变量管理随着项目规模增长而变得难以维护。Cherri 作为一个新兴的编程语言，试图通过提供一套完整的编译工具链，将开发者熟悉的语法直接转换为可运行的 Shortcut，从而解决这一痛点。 ## 编译目标的特殊性 Apple Shortcut 本质上是一个包含动作序列的 XML/Plist 结构，每个动作携带特定的参数和连接关系。与传统编译器目标（如 LLVM IR、WebAssembly 或机器码）不同，Shortcut 的运行时环境是苹果设备上的 Shortcuts 应用，它对内存使用和执行流程有严格的约束。Cherri 编译器需要将高级语言构造逐一映射为 Shortcut 动作图谱，这一过程涉及语法转换、语义分析和运行时验证三个核心环节。 从技术实现角度看，Cherri 采用 Go 语言编写，提供了命令行工具、VSCode 扩展和 macOS 原生应用三种开发入口。项目采用半自举（Half-bootstrapped）架构——大多数内置动作和类型定义本身也是用 Cherri 编写的，这种设计既证明了语言的表达能力，也为编译器本身的测试提供了天然的真实用例。 ## 语法到动作的转换策略 Cherri 编译过程的核心挑战在于建立语言语法与 Shortcut 动作之间的一一对应关系。与其将多条语言语句编译为单一的复杂动作，Cherri 选择了尽可能保持一对一的翻译关系，这种策略显著降低了调试难度——开发者在 Cherri 代码中的一个表达式，理论上对应 Shortcut 中的一个动作及其参数。 这种设计要求编译器具备完善的语法分析能力。Cherri 的语法参考了 Go 和 Ruby 的设计风格，提供了变量声明、函数定义、条件分支和循环结构等常规语言要素。编译器在前端完成词法和语法分析后，会生成中间表示（IR），其中每个表达式节点都附带类型信息和目标动作标识。随后，后端遍历 IR 树，根据节点类型查询内置的动作映射表，生成对应的 Plist 结构。 以变量操作为例，Cherri 中的常量声明 `myVar = "hello"` 会被翻译为 Shortcut 的「设置变量」动作，变量名和值作为参数嵌入。而复杂的表达式如 `if condition { doSomething() }` 则被拆解为条件动作块，包含条件判断和对应的动作序列。这种拆分策略虽然可能导致生成的 Shortcut 动作数量增加，但保证了语义的可预测性和调试的直观性。 ## 类型系统与类型推断 为了在受限的 Shortcut 环境中提供可靠的编程体验，Cherri 实现了完整的类型系统，包括基本类型（字符串、数字、布尔值）、容器类型（数组、字典）以及可选值（Optional）处理。这一设计不仅是语言特性的需要，更是为了在编译期捕获潜在错误，避免运行时因类型不匹配导致的 Shortcut 执行失败。 类型推断是 Cherri 类型系统的另一个重要特性。由于 Shortcut 动作的参数类型往往由动作本身决定，编译器可以基于上下文自动推断变量类型。例如，当开发者编写 `result = GetItemFromList(list, 1)` 时，编译器能够根据「从列表获取项目」动作的返回类型推断 `result` 为字符串或任意类型，从而减少类型标注的负担。 此外，Cherri 支持自定义类型和枚举定义，配合类型检查机制，开发者可以在编译阶段发现参数错误、类型不兼容等问题。编译器前端生成的类型信息还会传递到后端，用于生成符合 Shortcut 动作签名的参数，进一步提高了编译产物的正确性。 ## 包管理与签名机制 大型 Shortcut 项目的维护不仅涉及代码组织，还依赖于模块复用和依赖分发。Cherri 内置了基于远程 Git 仓库的包管理器，开发者可以通过声明式的方式引入第三方库，编译器会自动拉取并整合到最终产物中。这种设计借鉴了现代编程语言的依赖管理实践，使 Shortcut 项目的代码复用成为可能。 编译完成后的 Shortcut 需要签名才能在苹果设备上运行。Cherri 支持三种签名方式：优先使用本地 macOS 密钥库进行签名，若不可用则回退到 HubSign 服务或自建签名服务器。这一灵活的签名策略降低了跨平台开发和部署的门槛——开发者可以在 Linux 或 Windows 环境下编写 Cherri 代码，最终通过远程签名服务生成可执行的 Shortcut。 ## 内存优化与产物精简 Shortcuts 应用在运行时对内存占用有明确限制，尤其是重复循环等结构容易导致内存溢出。Cherri 编译器在生成最终产物时会进行优化，移除冗余动作、合并相似操作，并尽可能生成体积更小的 Shortcut 文件。文档中特别提到了针对重复循环的内存优化策略——通过调整循环内部的变量作用域和执行顺序，降低单次迭代的内存峰值。 这种优化在编译器后端实现，涉及数据流分析和死代码消除等经典编译技术。虽然 Shortcut 的执行模型与传统程序不同（基于动作图的拓扑排序执行），但编译器仍可识别可并行的动作序列和可合并的变量操作，从而在保持语义等价的前提下生成更高效的产物。 ## 工程实践的启示 Cherri 的设计为领域特定语言（DSL）编译器开发提供了多个值得借鉴的工程实践。首先，选择一对一语法映射策略虽然牺牲了某些编译优化空间，但大幅提升了开发体验和调试效率，这对面向终端用户的 DSL 尤为重要。其次，半自举架构既是语言能力的证明，也为编译器本身的迭代提供了真实的测试场景。最后，针对特定运行时环境（Shortcuts 应用）的约束进行专项优化，体现了务实而非教条的编译器设计思路。 对于希望在苹果生态中构建自动化工作流的开发者而言，Cherri 提供了一种介于可视化编辑和底层 API 调用之间的中间方案——它保留了高级语言的表达能力和工程化优势，同时生成的产物能够直接运行在 Shortcuts 环境中。这种编译到特定运行时而非通用平台的策略，正是领域特定语言区别于通用编程语言的核心价值所在。 **资料来源**：Cherri 官方 GitHub 仓库（https://github.com/electrikmilk/cherri） ## 同分类近期文章 ### [C# 15 联合类型：穷尽性模式匹配与密封层次设计](/posts/2026/04/08/csharp-15-union-types-exhaustive-pattern-matching/) - 日期: 2026-04-08T21:26:12+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入分析 C# 15 联合类型的语法设计、穷尽性匹配保证及其与密封类层次结构的工程权衡。 ### [LLVM JSIR 设计解析：面向 JavaScript 的高层 IR 与 SSA 构造策略](/posts/2026/04/08/jsir-javascript-high-level-ir/) - 日期: 2026-04-08T16:51:07+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深度解析 LLVM JSIR 的设计动因、SSA 构造策略以及在 JavaScript 编译器工具链中的集成路径，为前端工具链开发者提供可落地的工程参数。 ### [JSIR：面向 JavaScript 的高级 IR 与碎片化解决之道](/posts/2026/04/08/jsir-high-level-javascript-ir/) - 日期: 2026-04-08T15:51:15+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 解析 LLVM 社区推进的 JSIR 如何通过 MLIR 实现无源码丢失的往返转换，并终结 JavaScript 工具链碎片化困境。 ### [JSIR：面向 JavaScript 的高层中间表示设计实践](/posts/2026/04/08/jsir-high-level-ir-for-javascript/) - 日期: 2026-04-08T10:49:18+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入解析 Google 推出的 JSIR 如何利用 MLIR 框架实现 JavaScript 源码的高保真往返，并探讨其在反编译与去混淆场景的工程实践。 ### [沙箱JIT编译执行安全：内存隔离机制与性能权衡实战](/posts/2026/04/07/sandboxed-jit-compiler-execution-safety/) - 日期: 2026-04-07T12:25:13+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入解析受控沙箱中JIT代码的内存安全隔离机制，提供工程化落地的参数配置清单与性能优化建议。