架构设计 Skill技能列表
逃逸分析Skill escape-analysis
逃逸分析是一种编译优化技术，用于确定对象是否逃逸其创建方法范围，从而启用栈分配、锁消除和标量替换等优化。关键词：逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。
效应类型系统Skill effect-type-system
效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。
效应系统Skill effect-system
效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。
效应处理程序实现者Skill effect-handlers-implementer
这个技能用于实现代数效应的效应处理程序，支持构建效应系统、自定义效应和可扩展效应处理，适用于编程语言开发、控制流管理和软件开发。关键词：效应处理程序、代数效应、控制流、编程语言、软件开发、效应系统、自定义效应、可扩展性。
反函数化Skill defunctionalization
反函数化是一种编程技术，用于将高阶程序转换为第一阶程序，通过将闭包表示为数据结构来实现。常用于编译器构建、优化闭包和序列化函数，提升性能和可维护性。关键词：反函数化、高阶程序、第一阶程序、编译器优化、闭包、程序变换、函数式编程、性能优化。
死代码消除器Skill dead-code-eliminator
死代码消除是一种编译器优化技术，用于移除程序中不影响输出的代码，包括不可达代码、未使用计算和冗余赋值，从而减少程序大小、提高性能。关键词：编译器优化，死代码消除，代码优化，性能提升，二进制大小。
数据流分析框架Skill dataflow-analysis-framework
数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。
CPS转换器Skill cps-transformer
CPS转换器是一种编程技能，用于将直接风格程序转换为连续传递风格，主要应用于编译器构建、控制运算符实现和界定延续的添加。该技能在编程语言设计和实现中发挥关键作用，优化代码执行和异步编程。关键词：CPS、编译器、转换、控制运算符、连续传递风格、编程语言、优化、异步编程。
公共子表达式消除器Skill common-subexpression-eliminator
公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。
闭包转换器Skill closure-converter
闭包转换器是编译器设计和函数式语言实现中的关键技术，用于将闭包转换为显式环境传递，优化代码生成和性能。关键词：闭包转换、编译器、环境传递、lambda提升、函数式编程、代码优化、自由变量分析。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
代数效应与效应处理程序Skill algebraic-effects
该技能实现代数效应和效应处理程序，用于在类型化语言中模块化地处理计算效应，如异步、状态、异常、日志记录和非确定性。它涉及效应签名定义、处理程序实现、效应推断等，适用于编程语言设计、效应系统研究和软件架构优化。关键词：代数效应，效应处理程序，类型系统，效应推断，编程语言设计，计算效应，模块化处理。