架构设计 Skill技能列表
函数内联优化器Skill inline-expander
该技能用于编译器优化中的函数内联，通过替换函数调用来提升代码执行效率，减少调用开销，并促进进一步的代码优化，如常量传播和死代码消除。关键词：函数内联、编译器优化、代码优化、性能提升、LLVM、GCC、启发式决策。
高阶抽象语法Skill higher-order-abstract-syntax
这个技能用于在函数式编程中表示和操作具有绑定器的语法，主要应用于证明助手、嵌入式语言和形式化元理论开发。关键词：高阶抽象语法, HOAS, 绑定器, 语法, 函数式编程, 证明助手, 形式化方法, 编程语言理论。
逐步类型化实现器Skill gradual-typing-implementer
这个技能用于实现逐步类型化系统，将类型检查添加到动态类型语言中，支持代码从动态类型迁移到静态类型，构建混合类型系统如TypeScript、Typed Racket或Pyright。关键词包括：逐步类型化、动态类型、静态类型、类型检查、类型系统、代码迁移、混合类型、类型保证、运行时检查、软件开发工具。
GraalVMTruffle语言运行时实现Skill graalvm-truffle-implementer
GraalVM Truffle 实现技能用于使用 GraalVM Truffle 框架高效构建语言运行时，包括解释器、JIT编译优化和多语言应用开发。关键词：GraalVM、Truffle、语言运行时、解释器、JIT编译、多语言互操作、性能优化、AST解释器、节点特化、自优化系统。
GADT实现技能Skill gadt-implementer
这个技能用于实现广义代数数据类型（GADTs），在Haskell、OCaml、Rust等编程语言中创建类型安全的数据结构和抽象语法树。适用于编译器开发、嵌入式领域特定语言（DSL）、类型安全协议实现等场景。关键词：GADT, 类型安全, 数据结构, 编程语言, 类型理论。
FFI设计器Skill ffi-designer
FFI设计技能用于设计和实现外部函数接口，实现不同编程语言之间的代码互操作性。关键功能包括类型映射、调用约定处理、内存管理、回调支持和错误处理。适用于调用C库、系统编程、性能关键互操作等场景。关键词：FFI设计，外部函数接口，语言互操作性，类型安全，内存管理。
逃逸分析Skill escape-analysis
逃逸分析是一种编译优化技术，用于确定对象是否逃逸其创建方法范围，从而启用栈分配、锁消除和标量替换等优化。关键词：逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。
效应类型系统Skill effect-type-system
效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。
效应系统Skill effect-system
效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。
效应处理程序实现者Skill effect-handlers-implementer
这个技能用于实现代数效应的效应处理程序，支持构建效应系统、自定义效应和可扩展效应处理，适用于编程语言开发、控制流管理和软件开发。关键词：效应处理程序、代数效应、控制流、编程语言、软件开发、效应系统、自定义效应、可扩展性。
Saga编排Skill saga-orchestration
Saga编排技能用于实现和管理Saga模式，协调分布式事务和长运行业务流程。它涉及处理多服务事务、补偿事务、工作流编排，适用于微服务架构中的故障处理和业务协调。关键词：Saga模式、分布式事务、补偿事务、工作流编排、微服务架构、系统设计、长运行工作流。
技能编排器Skill skill-orchestrator
技能编排器是任务管理系统中的核心组件，用于基于任务语言和状态将命令智能路由到相应的工作流。它负责任务查找、状态验证、上下文准备和执行协调，确保多步骤工作流的高效运行。关键词：任务编排、工作流路由、状态管理、上下文加载、智能路由。