软件开发 Skill技能列表
多态效应Skill polymorphic-effects
多态效应技能专注于效应系统与效应多态的理论和实践，用于在编程中管理副作用如异常处理、并发、状态和日志，适用于函数式编程语言如Haskell和OCaml，涉及类型系统、处理器、代数效应和效应推断。关键词：多态效应、效应系统、effect polymorphism、类型系统、处理器、Haskell、OCaml、代数效应、效应推断、编程语言理论。
部分求值专家Skill partial-evaluator
部分求值是一种程序优化技术，用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成，通过绑定时间分析区分静态与动态值，并利用离线或在线方法生成高效的残差程序。关键词：部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。
解析器生成器Skill parser-generator
解析器生成器是一种关键技能，用于从上下文无关语法自动生成解析器，支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景，帮助开发者高效处理结构化文本和数据。关键词：解析器生成，语法分析，编译器构建，LALR解析，递归下降，AST生成。
所有权和借用类型系统Skill ownership-type-system
该技能实现了Rust风格的所有权和借用类型系统，用于验证内存安全、预防数据竞争和生命周期分析。关键词：所有权、借用、内存安全、数据竞争、生命周期、Rust、类型系统、编程语言。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
单子变换器Skill monad-transformer
单子变换器是一种在函数式编程中实现效果组合的技能。它通过提供可重用的变换器层，允许开发者组合多个单子效果，如状态管理、错误处理和IO操作。关键词包括：单子、变换器、函数式编程、效果组合、Haskell、Scala、可组合性、架构设计。
模块系统Skill module-system
模块系统是实现代码组织、封装和命名空间管理的关键技能，适用于大型软件开发、架构设计和编程语言设计，提升代码可维护性和扩展性，涵盖模块、签名、函子、依赖管理等核心概念。关键词：模块系统、代码组织、封装、命名空间管理、软件开发、架构设计、编程语言设计。
模型检查器Skill model-checker
实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、SAT/SMT求解器、验证、并发程序、硬件验证、协议验证、时态逻辑、状态空间、错误检测、反例生成。
MLIR方言设计Skill mlir-dialect-designer
MLIR方言设计技能用于设计MLIR（多级中间表示）的方言和变换，支持编译器开发、IR抽象和多级降低，适用于编译器优化和LLVM生态系统集成，关键词包括MLIR、编译器、方言、变换、LLVM。
消息传递系统Skill message-passing-system
该技能专注于实现消息传递并发模型，如演员模型和CSP通道，用于构建分布式系统、避免共享状态并发错误，并支持微服务通信、事件驱动架构和管道处理。关键词：消息传递、并发模型、演员模型、CSP通道、分布式系统、微服务通信、背压处理、消息排序。
宏扩展器Skill macro-expander
宏扩展器是一种编程技能，用于在编译时实现宏系统，进行语法抽象和代码生成。关键词包括宏系统、编译时、代码生成、语法抽象、元编程。
循环终止证明器Skill loop-termination-prover
循环终止证明器是一种用于程序验证的技能，通过分析循环结构和发现排名函数来证明循环的终止性。适用于验证程序总正确性、分析程序循环行为，并使用形式方法确保软件可靠性。关键词：循环终止、排名函数、程序验证、终止证明、形式验证、软件测试。