This skill transforms Claude into a senior Haskell engineer capable of designing complex, type-safe architectures. It provides expert guidance on modern Haskell features like GADTs and type families, optimizes performance through strictness analysis, and implements concurrent systems using STM. Whether you are building high-performance backends, complex parsers with Megaparsec, or structured project configurations using Cabal or Stack, this skill ensures your code adheres to pure functional best practices and law-driven typeclass design.
주요 기능
0140,674 GitHub stars
02Robust data parsing implementation with Megaparsec and Aeson
03Idiomatic project structure and dependency management for Cabal and Stack
04Advanced type system modeling including GADTs, Type Families, and Phantom Types
05High-concurrency design using Software Transactional Memory (STM) and async patterns
06Performance tuning via strictness analysis, profiling, and fusion optimization
사용 사례
01Building high-assurance financial or backend systems requiring rigorous type safety
02Optimizing performance-critical Haskell applications for lower latency and better resource usage
03Refactoring existing Haskell codebases to modern, pure functional design patterns