架构设计 Skill技能列表
JIT编译器构建者Skill jit-compiler-builder
该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。
函数内联优化器Skill inline-expander
该技能用于编译器优化中的函数内联，通过替换函数调用来提升代码执行效率，减少调用开销，并促进进一步的代码优化，如常量传播和死代码消除。关键词：函数内联、编译器优化、代码优化、性能提升、LLVM、GCC、启发式决策。
高阶抽象语法Skill higher-order-abstract-syntax
这个技能用于在函数式编程中表示和操作具有绑定器的语法，主要应用于证明助手、嵌入式语言和形式化元理论开发。关键词：高阶抽象语法, HOAS, 绑定器, 语法, 函数式编程, 证明助手, 形式化方法, 编程语言理论。
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 defunctionalization
反函数化是一种编程技术，用于将高阶程序转换为第一阶程序，通过将闭包表示为数据结构来实现。常用于编译器构建、优化闭包和序列化函数，提升性能和可维护性。关键词：反函数化、高阶程序、第一阶程序、编译器优化、闭包、程序变换、函数式编程、性能优化。
数据流分析框架Skill dataflow-analysis-framework
数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。
公共子表达式消除器Skill common-subexpression-eliminator
公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。
闭包转换器Skill closure-converter
闭包转换器是编译器设计和函数式语言实现中的关键技术，用于将闭包转换为显式环境传递，优化代码生成和性能。关键词：闭包转换、编译器、环境传递、lambda提升、函数式编程、代码优化、自由变量分析。