软件开发 Skill技能列表
所有权和借用类型系统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
循环终止证明器是一种用于程序验证的技能，通过分析循环结构和发现排名函数来证明循环的终止性。适用于验证程序总正确性、分析程序循环行为，并使用形式方法确保软件可靠性。关键词：循环终止、排名函数、程序验证、终止证明、形式验证、软件测试。
无锁数据结构Skill lock-free-data-structure
无锁数据结构技能专注于设计和实现无需锁机制的高并发数据结构，以提高系统性能和可扩展性。关键词：无锁数据结构，并发编程，高并发，CAS操作，ABA问题，内存安全，无等待算法。
LLVM后端生成器Skill llvm-backend-generator
LLVM后端生成器是一个用于生成LLVM中间表示（IR）和构建编译器后端的技能，广泛应用于编译器开发、代码生成和优化领域。它支持构建新语言编译器、实现语言后端、创建优化管道和生成原生代码，关键功能包括LLVM IR生成、指令选择构建、优化通行证实现和ABI处理。这个技能对于软件架构设计、系统编程和语言工具开发至关重要，便于SEO搜索的关键词有：LLVM、编译器、后端、代码生成、优化、IR、ABI、架构设计、软件工程。
线性类型实现器Skill linear-type-implementer
该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。