软件开发 Skill技能列表
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
行多态性Skill row-polymorphism
行多态性是一种类型系统技术，用于实现可扩展的记录和变体类型。它支持结构化的多态性和类型推断，适用于编程语言设计、对象系统和类型安全的数据查询。关键词：行多态性、可扩展记录、类型系统、编程语言、对象系统、数据库查询。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
寄存器分配器Skill register-allocator
寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。
精炼类型检查器Skill refinement-type-checker
这是一个精炼类型检查器技能，用于通过添加谓词到类型来实现属性验证、契约检查和轻量依赖类型。它使用 SMT 求解器进行验证和推理，适用于编程语言类型系统和形式化验证领域。关键词：精炼类型、类型检查、谓词、SMT 求解器、验证、契约、依赖类型、属性验证、静态分析、编程语言。
竞争检测工具Skill race-detection-tool
竞争检测工具专门用于检测并发程序中的数据竞争问题，通过静态和动态分析方法，帮助开发者调试并发错误、验证线程安全，提升软件质量。关键词：数据竞争检测、并发程序调试、线程安全验证、静态分析、动态分析。
基于属性的测试工具Skill property-based-tester
基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。
程序转换器Skill program-transformer
程序转换器是一种用于程序分析和编译器工程的技能，通过语义保持的转换和优化传递来改进程序性能、简化代码结构并确保程序属性，广泛应用于编译器开发、程序优化工具、重构工具和领域特定语言实现中。关键词：程序转换、语义保持、优化、编译器工程、程序分析、AST操作、代码重构。
多态效应Skill polymorphic-effects
多态效应技能专注于效应系统与效应多态的理论和实践，用于在编程中管理副作用如异常处理、并发、状态和日志，适用于函数式编程语言如Haskell和OCaml，涉及类型系统、处理器、代数效应和效应推断。关键词：多态效应、效应系统、effect polymorphism、类型系统、处理器、Haskell、OCaml、代数效应、效应推断、编程语言理论。
部分求值专家Skill partial-evaluator
部分求值是一种程序优化技术，用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成，通过绑定时间分析区分静态与动态值，并利用离线或在线方法生成高效的残差程序。关键词：部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。
解析器生成器Skill parser-generator
解析器生成器是一种关键技能，用于从上下文无关语法自动生成解析器，支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景，帮助开发者高效处理结构化文本和数据。关键词：解析器生成，语法分析，编译器构建，LALR解析，递归下降，AST生成。