仓颉（Cangjie）开发入门

从第一行代码到 AI 智能体开发一套完整的仓颉语言学习路径与 AI 创新项目实践指南认识仓颉仓颉Cangjie是一款面向全场景智能化应用开发的现代编程语言主打原生智能化、强类型安全和高性能运行。它内建对 AI 开发范式的语言级支持包括 AI 泛型、Agent DSL、向量化原语等特性让开发者可以用同一套语言同时编写传统业务逻辑和智能体行为。与其他语言相比仓颉的设计哲学可以概括为三点安全优先默认不可变、空安全、内存安全、智能原生语法层面融入 AI 开发能力、性能可预期编译期优化与运行时性能剖面透明。如果你已经熟悉 TypeScript、Rust 或 Swift上手仓颉的曲线会非常平缓。为什么现在学习仓颉仓颉并非只是又一种新语言。它的核心差异在于把 AI 开发能力下沉到语言层而非依赖外部框架补丁。这意味着 Agent 的行为描述、工具调用、RAG 检索等能力都有对应的语法结构和类型约束编译器可以在构建阶段就检查智能体逻辑的正确性。环境准备与 Hello World安装工具链仓颉目前提供 Linux 和 macOS 的官方编译器包Windows 开发者可以通过 WSL2 使用。安装完成后验证环境$ cjc--versioncjc1.2.0(release)同时建议安装仓颉语言服务器cangjie-lsp以在 VS Code 或 TRAE 中获得语法高亮、类型提示和跳转定义的支持。第一个程序创建文件hello.cjmain(): Int64 { println(Hello, Cangjie!) return 0 }编译并运行$ cjc hello.cj-ohello $ ./hello Hello, Cangjie!仓颉源文件使用.cj后缀。入口函数main的返回类型为Int64函数体不需要大括号包裹类似 Python 的缩进规则但可选大括号用于多行复合表达式。println是标准库中的控制台输出函数支持插值字符串。核心语法速览这一节不是语法手册而是帮助有经验的开发者快速建立仓颉代码长什么样的直觉。类型系统与变量// 显式类型声明 let name: String Cangjie // 类型推导 let version 1.2 // 推导为 Float64 let flags [true, false] // 推导为 ArrayBool // 可变变量使用 var var counter 0 counter 1 // 空安全? 表示可空类型 let maybe: String? null let definite maybe ?? default函数与结构体// 函数定义 func greet(user: String): String { return Hello, \(user) } // 结构体 方法 struct User { id: Int64 name: String } extend User { func display(): String { return User(\(this.id), \(this.name)) } }模式匹配模式匹配是仓颉处理多分支逻辑的主要方式比传统的if-else链更严谨match result { case Ok(value) println(Success: \(value)) case Err(msg) println(Error: \(msg)) }并发模型仓颉采用协程Coroutine通道Channel的并发模型语法类似 Go但增加了类型安全func worker(id: Int64, ch: ChannelString): Unit { let msg ch.recv() println(Worker \(id) got: \(msg)) } main(): Int64 { let ch ChannelString(bufferSize: 10) spawn worker(1, ch) ch.send(task) return 0 }AI 原生特性仓颉最具辨识度的语法特性是agent块与tool注解它们允许你在语言层面描述智能体的行为、工具和推理流程agent struct MathHelper { tool func add(a: Int64, b: Int64): Int64 { return a b } }这个结构体在编译期会被元数据系统识别运行时可以通过 CangjieMagic 框架直接暴露给 LLM 作为可调用的工具集。仓颉 AI 创新项目生态围绕仓颉语言社区已经构建了一套覆盖开发工具 - 知识基座 - Agent 框架 - 示例应用的完整 AI 生态。下图展示了各项目在全栈中的位置与协作关系开发层 ├── CangjieSkills ───────┐ └── magic-cli ───────────┤ │ 提供语言级 Skills ▼ 知识层 Agent 层 ├── CangjieCorpus ───────►├── CangjieMagic ◄── Agent DSL 运行时 │ (注入 RAG 语料) │└── ACEHarness ───► 编排多 Agent │ │ │ └─────────────────────────┘ │ ▼ 应用层 ├── MagicExplorer └── CangjieMagic-Examples这个生态的设计理念是分层解耦、逐级组装。最底层是开发工具与知识基座中间是 Agent 运行时与协作框架上层是可直接运行的示例应用。开发者可以根据自己的需求选择从哪一层切入。六大项目详解项目标签简介CangjieSkills开发工具面向 AI 开发工具的仓颉程序开发 Skills支持从零创建仓颉项目并完成配置、开发、构建、运行和单元测试等流程。ACEHarnessMulti-Agent面向工程任务的本地 AI Multi-Agent 协作平台支持 Spec Driven Development、状态机工作流、Supervisor 路由和多 Agent 协作。CangjieCorpusRAG 基座面向 RAG 技术的仓颉语言知识基座整合官方开发指南、API 文档、典型代码示例和语法规范等语料资源。CangjieMagicAgent 框架基于仓颉原生 Agent DSL 与运行时 API 的 LLM Agent 应用开发框架支持工具调用、模型接入、RAG、多 Agent 协作和 MCP 集成。magic-cliCLI 工具基于 Cangjie Agent DSL 和 CangjieMagic 构建的 AI 命令行助手支持对话式开发、仓颉工具链集成、文档检索和 MCP 扩展。MagicExplorer示例应用基于 CangjieMagic 的示例应用可用于探索 Agent 开发与多 Agent 工程协作场景。CangjieSkills仓颉开发的 AI 助手CangjieSkills 是一套面向仓颉开发的结构化能力集合它将传统的 IDE 功能项目创建、构建、测试与 AI 辅助能力代码生成、错误诊断、重构建议融合在统一的接口下。对于入门开发者CangjieSkills 最大的价值在于降低环境配置的门槛。你不需要手动编辑cjc.config或管理复杂的模块路径只需通过自然语言描述需求Skills 会自动生成合理的项目结构和编译配置# 通过 CangjieSkills 创建新项目create projectweb-apiwith http server and json support# 生成的目录结构web-api/ ├── src/ │ ├── main.cj │ └── routes/ ├── tests/ ├── cjc.config └── package.cjCangjieSkills 也支持增量式开发。当你需要为现有项目添加数据库访问层时它可以自动生成仓颉的结构体定义、连接池配置和基础的 CRUD 模板开发者只需在此基础上填充业务逻辑。ACEHarness多 Agent 工程协作平台ACEHarness 解决的是一个更复杂的问题如何让多个 AI Agent 在真实的软件工程任务中协同工作而不是各自为战。它的核心设计包含四个机制Spec Driven DevelopmentAgent 的行为以结构化规格Spec描述规格可以被验证、追踪和版本化管理。状态机工作流多 Agent 协作被建模为状态机每个状态对应一个明确的工程阶段分析、设计、编码、审查状态之间的转移由 Supervisor 控制。Supervisor 路由一个中心调度器根据当前任务类型和 Agent 能力表把子任务路由到最合适的 Agent 实例。多 Agent 协作协议Agent 之间通过标准化的消息格式交换上下文避免信息丢失或意图扭曲。在实际使用中你可以用 ACEHarness 搭建一个代码评审委员会一个 Agent 负责静态分析一个负责风格检查一个负责安全审计Supervisor 汇总它们的输出并生成统一的评审报告。CangjieCorpus仓颉语言知识基座大语言模型在回答仓颉相关问题时往往因为训练语料不足而产生幻觉。CangjieCorpus 的目标是为 RAGRetrieval-Augmented Generation系统提供高质量、结构化的仓颉语言知识来源。它整合了三类语料官方文档开发指南、语言规范、标准库 API 文档保持与官方版本同步更新。典型代码示例经过验证的惯用法idioms和最佳实践覆盖常见开发场景。社区问答从论坛和 Issue 中提取的高频问题与解答带有上下文和版本标签。CangjieCorpus 的语料经过分块、Embedding 和索引可以被 CangjieMagic 或 magic-cli 直接引用。当你向 magic-cli 提问仓颉中如何实现泛型约束时它会先从 CangjieCorpus 检索相关段落再基于这些上下文生成答案大幅降低幻觉概率。CangjieMagicAgent 应用开发框架CangjieMagic 是整个生态的核心引擎。它基于仓颉原生的 Agent DSL 和运行时 API为开发者提供了一套完整的 LLM Agent 开发框架。框架的能力矩阵覆盖了 Agent 开发的五个关键环节能力说明对应语法/API模型接入支持 OpenAI、Claude、本地模型等多种后端LLMBackend协议工具调用将仓颉函数注册为 LLM 可调用的工具tool注解RAG 集成接入 CangjieCorpus 或自定义知识库VectorStore接口多 Agent 协作Agent 间消息传递与任务委派AgentGroup编排MCP 集成支持 Model Context Protocol 标准MCPClient模块CangjieMagic 的核心理念是类型安全贯穿 Agent 全生命周期。工具函数的参数类型、Agent 的状态转换、LLM 输出的解析结果全部在编译期受到仓颉类型系统的约束。这意味着很多在传统 Python Agent 框架中只能在运行时发现的错误在仓颉中会被编译器提前拦截。magic-cliAI 命令行助手magic-cli 是 CangjieMagic 的一个终端封装它将框架能力以对话式交互的形式暴露给开发者。你可以把它理解为专门懂仓颉的 ChatGPT Shell 助手。magic-cli 的典型使用场景包括对话式开发描述需求magic-cli 生成仓颉代码片段并解释每行的作用。工具链集成直接调用cjc、cjtest等命令把编译错误和测试失败反馈给 LLM 进行诊断。文档检索基于 CangjieCorpus 快速定位官方文档中的相关内容。MCP 扩展通过 Model Context Protocol 接入外部工具如数据库、API 测试工具扩展 Agent 的能力边界。$ magic-cli帮我写一个仓颉函数读取 JSON 文件并解析为 User 数组# magic-cli 会生成代码、解释结构并提示错误处理建议MagicExplorerAgent 开发探索器MagicExplorer 是一个基于 CangjieMagic 构建的示例应用它的目的不是解决某个具体业务问题而是作为Agent 开发模式的参考实现。通过阅读 MagicExplorer 的源码你可以学习到如何用 Agent DSL 定义一个具备记忆和规划能力的智能体如何在多 Agent 场景下设计消息协议和状态同步机制如何将 RAG 检索结果有效地注入到 Agent 的推理上下文中如何通过 MCP 让 Agent 调用外部 API 和本地工具MagicExplorer 也包含了一组预置的交互场景开发者可以直接运行并观察 Agent 的决策过程这对理解AI 到底是怎么思考非常有帮助。实战构建你的第一个 Agent这一节带你用 CangjieMagic 写一个最简单的 Agent一个能查询天气并给出穿衣建议的助手。虽然功能简单但它覆盖了工具定义、LLM 调用和响应解析的完整链路。步骤一定义工具// weather_tools.cj import std.net.http.* import std.json.* tool func getWeather(city: String): String { let url https://api.weather.example/v1/current?city\(city) let resp HttpClient.get(url) return resp.body }步骤二定义 Agent// advisor.cj import cangjie.magic.* agent struct WeatherAdvisor { let llm: LLMBackend let tools: [Tool] [getWeather] func ask(query: String): String { let context AgentContext { query: query, tools: this.tools } return this.llm.run(context) } }步骤三运行// main.cj main(): Int64 { let advisor WeatherAdvisor { llm: OpenAIBackend(model: gpt-4o) } let answer advisor.ask(北京今天穿什么合适) println(answer) return 0 }编译运行后Agent 会自动识别查询中涉及的城市信息调用getWeather工具获取数据然后结合 LLM 的推理能力生成穿衣建议。整个过程的类型安全由仓颉编译器保障如果getWeather的签名发生变化所有引用它的 Agent 定义都会在编译期报错。下一步完成这个示例后建议你阅读 CangjieMagic-Examples 仓库中的进阶案例学习如何为 Agent 添加记忆Memory、规划Planning和多轮对话Multi-turn能力。总结与下一步仓颉语言及其 AI 生态为开发者提供了一条从传统编程到智能体开发的无缝路径。它的独特之处在于AI 能力不是附加的框架而是语言本身的一部分。这种设计让 Agent 的行为描述、工具调用和知识检索都能享受到编译期类型检查和 IDE 智能提示的好处。如果你是仓颉新手建议按以下顺序探索语言基础通过 CangjieSkills 创建几个练习项目熟悉类型系统、模式匹配和并发模型。AI 开发入门阅读 CangjieMagic 文档理解 Agent DSL 的语法结构和运行时机制。知识检索实践搭建本地 CangjieCorpus 索引体验 RAG 增强的代码问答。多 Agent 协作用 ACEHarness 设计一个简单的多 Agent 工作流比如需求分析 → 代码生成 → 自动测试。日常辅助把 magic-cli 集成到开发终端用它辅助编码、查文档和诊断编译错误。仓颉的 AI 生态仍在快速演进中新工具和新模式会不断加入。保持对官方仓库和社区讨论的关注是持续跟进的最佳方式。