这是一个技能模板，用于定义和描述特定技能，指定Claude AI应该在何种情况下使用该技能。关键词：技能模板、Claude AI、使用场景、AI技能定义、技能开发、AI应用模板。

系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。

解析器生成器是一种关键技能，用于从上下文无关语法自动生成解析器，支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景，帮助开发者高效处理结构化文本和数据。关键词：解析器生成，语法分析，编译器构建，LALR解析，递归下降，AST生成。

该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。

该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。

这个技能用于实现代数效应的效应处理程序，支持构建效应系统、自定义效应和可扩展效应处理，适用于编程语言开发、控制流管理和软件开发。关键词：效应处理程序、代数效应、控制流、编程语言、软件开发、效应系统、自定义效应、可扩展性。

模式发现技能用于在软件开发中实施模式优先开发，通过检查模式库来减少代码重复、确保一致性。关键词：模式库、代码重复、一致性、API路由、UI组件、数据库操作、测试。

本技能专注于后端系统设计，介绍清洁架构、六边形架构和领域驱动设计等模式，帮助开发者构建可维护、可测试和可扩展的软件系统。关键词：架构模式、清洁架构、六边形架构、领域驱动设计、后端开发、软件设计、可维护性、可测试性。

头脑风暴技能通过结构化方法在项目实施前进行创意构思、探索多种方案、挑战假设并细化设计，适用于软件开发、产品设计和项目管理中，以提升创新效率和解决方案质量。关键词：头脑风暴、创意细化、系统架构、问题解决、替代方案探索、软件开发、产品设计。

API设计技能专注于设计清洁、可扩展和可维护的REST和GraphQL API，遵循行业最佳实践。它用于规划端点结构、定义请求/响应合同、实现版本控制、安全性和文档创建。关键词：API设计，REST API，GraphQL API，可扩展性，维护性，版本控制，安全性，端点规划。

这是一个深度调查工具，用于在软件开发中分析问题、收集上下文、追踪数据流和生成可操作建议，不修改代码。适用于调试、架构评估、预重构分析和事件调查。关键词：深度分析、代码调查、软件开发、调试工具、架构设计、SEO优化。

这个技能教授如何构建可重用和可维护的软件系统，通过管理复杂性、设计深模块、隐藏信息等原则。适用于软件架构师、开发人员和系统设计师，帮助创建高效、易于维护的代码。关键词：系统设计，软件架构，模块化，复杂性管理，代码重用，信息隐藏，战略编程。