架构设计 Skill技能列表
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能,用于验证通信协议的类型安全性,通过定义会话类型来确保分布式系统中消息传递的顺序正确,防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景,关键词包括:会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
寄存器分配器Skill register-allocator
寄存器分配器是编译器的关键优化组件,用于将虚拟寄存器映射到物理寄存器,提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理,优化编译器后端、JIT编译和GPU着色器。关键词包括:寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。
解析器生成器Skill parser-generator
解析器生成器是一种关键技能,用于从上下文无关语法自动生成解析器,支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景,帮助开发者高效处理结构化文本和数据。关键词:解析器生成,语法分析,编译器构建,LALR解析,递归下降,AST生成。
所有权和借用类型系统Skill ownership-type-system
该技能实现了Rust风格的所有权和借用类型系统,用于验证内存安全、预防数据竞争和生命周期分析。关键词:所有权、借用、内存安全、数据竞争、生命周期、Rust、类型系统、编程语言。
单子变换器Skill monad-transformer
单子变换器是一种在函数式编程中实现效果组合的技能。它通过提供可重用的变换器层,允许开发者组合多个单子效果,如状态管理、错误处理和IO操作。关键词包括:单子、变换器、函数式编程、效果组合、Haskell、Scala、可组合性、架构设计。
模块系统Skill module-system
模块系统是实现代码组织、封装和命名空间管理的关键技能,适用于大型软件开发、架构设计和编程语言设计,提升代码可维护性和扩展性,涵盖模块、签名、函子、依赖管理等核心概念。关键词:模块系统、代码组织、封装、命名空间管理、软件开发、架构设计、编程语言设计。
MLIR方言设计Skill mlir-dialect-designer
MLIR方言设计技能用于设计MLIR(多级中间表示)的方言和变换,支持编译器开发、IR抽象和多级降低,适用于编译器优化和LLVM生态系统集成,关键词包括MLIR、编译器、方言、变换、LLVM。
无锁数据结构Skill lock-free-data-structure
无锁数据结构技能专注于设计和实现无需锁机制的高并发数据结构,以提高系统性能和可扩展性。关键词:无锁数据结构,并发编程,高并发,CAS操作,ABA问题,内存安全,无等待算法。
架构模式Skill architecture-patterns
这个技能用于掌握后端架构模式,如清洁架构、六边形架构和领域驱动设计,帮助设计和重构可维护、可测试、可扩展的系统。适用于系统设计、架构师角色、后端开发等场景,关键词包括架构模式、Clean Architecture、Hexagonal Architecture、DDD、后端架构、可维护性、可测试性、可扩展性。
Discord机器人开发架构师Skill discord-bot-architect
这个技能专注于构建生产就绪的Discord机器人,覆盖Discord.js(JavaScript)和Pycord(Python)开发框架,包括网关意图配置、斜杠命令实现、交互组件(如按钮和选择菜单)的使用,以及处理速率限制和分片技术。帮助开发者掌握高性能、可靠的Discord机器人设计与部署,避免常见错误如滥用消息内容意图和阻塞事件循环。关键词:Discord机器人、Discord.js、Pycord、斜杠命令、交互组件、机器人架构、速率限制、分片。
服务层模式Skill services-layer
这个技能文档介绍了在Whispering架构中实现服务层的模式,包括使用createTaggedError创建标签化错误、命名空间导出和Result类型进行统一错误处理。适用于软件开发中创建新服务、定义域特定错误和理解服务架构,提升代码可维护性和测试性。关键词:服务层、架构设计、错误处理、TypeScript、Result类型、createTaggedError、命名空间导出、软件开发。
错误处理Skill error-handling
此技能提供应用程序中一致的错误处理实现,包括自定义错误类、错误处理中间件、前端错误边界和异步错误处理,以及日志记录指南,旨在提高应用的可靠性、可维护性和用户体验。关键词:错误处理、异常处理、自定义错误类、错误边界、日志记录、前后端开发、应用程序架构。