Haskell Pro is a specialized Claude Code skill engineered for developers building robust, pure functional applications. It provides deep expertise in Haskell’s advanced type system features—such as GADTs, type families, and phantom types—while ensuring high-performance concurrency through STM and async patterns. This skill guides users in structuring Cabal/Stack projects, implementing complex parsing logic with Megaparsec, and optimizing code through strictness analysis and fusion, all while maintaining strict adherence to law-driven development and mathematical rigor.
主な機能
01Sophisticated parsing and JSON serialization via Megaparsec and Aeson
02Performance tuning via strictness analysis, profiling, and list fusion
03High-performance concurrency patterns using STM and exception-safe combinators
04128 GitHub stars
05Advanced type system modeling using GADTs, Type Families, and Phantom Types
06Pure functional architecture design with explicit IO boundary isolation
ユースケース
01Refactoring legacy Haskell code to use safe, total functions and idiomatic typeclasses
02Optimizing complex data pipelines and managing dependency hygiene in Cabal/Stack projects
03Architecting high-assurance backend systems with domain-driven type guarantees