利用 AI 专家级 Haskell 编程实现高可靠系统设计
通过给 AI 注入 Haskell 专家知识库，使其能够处理复杂类型系统设计、纯函数式架构搭建以及高并发系统的性能调优，将 Haskell 的强类型约束转化为软件质量保证。
为什么需要这个技能
Haskell 以其陡峭的学习曲线和极强的类型表达能力著称。在实际开发中，开发者经常面临如何设计 GADTs（广义代数数据类型）、如何处理复杂的 Monad 堆栈、以及如何在保证纯粹性的同时实现高性能并发等挑战。
该技能将 AI 转化为一名精通 Haskell 的资深工程师，它不仅能写出可运行的代码，更能提供符合惯用法（Idiomatic）的架构建议，避免使用不安全的局部函数，并引导开发者利用类型系统在编译期消除 Bug。
适用场景
- 复杂领域建模：需要使用 Newtypes、Phantom Types 或 Type Families 来构建严谨的业务模型。
- 高并发系统设计：利用 STM（软件事务内存）和 async 库构建无锁且线程安全的并发逻辑。
- 解析器开发：使用 Megaparsec 或 Aeson 构建健壮的文本解析或 JSON 数据处理流程。
- 性能优化：通过分析 strictness（严格性）、进行 profiling 或使用 fusion 技术提升执行效率。
- 项目工程化：优化 Cabal 或 Stack 的项目结构与依赖管理。
核心工作流
- 定义领域约束：AI 首先会协助你通过强类型（Expressive Types）定义领域逻辑，确保不合法状态在类型层面无法被构造。
- 纯净逻辑剥离：将核心业务逻辑设计为纯函数，将 IO 等副作用明确隔离在系统边界。
- 类型类与抽象设计：在必要时引入 Typeclass，但遵循“定律驱动开发”（Law-driven development），确保抽象的清晰度。
- 验证与测试：生成基于属性的测试（Property-based testing），利用 QuickCheck 或 Hspec 验证代码正确性。
- 运行环境适配：提供可直接在 GHCi 中运行的示例代码，并给出必要的语言扩展（Language Extensions）及其使用理由。
下载和安装
解压后将目录放入你的 AI 工具 skills 文件夹，重启工具后即可使用。具体路径参考内附的 USAGE.zh.md。
你可能还需要
暂无推荐