This skill transforms Claude into a senior Haskell engineer focused on type-driven development and high-performance system design. It leverages advanced language features like GADTs, type families, and Software Transactional Memory (STM) to help developers architect robust, pure functional applications. Whether you are optimizing performance with fusion, designing complex parsers with Megaparsec, or managing dependencies with Cabal and Stack, this skill provides idiomatic, law-driven Haskell implementations that prioritize safety, maintainability, and domain-correctness.
主な機能
01High-assurance concurrency design using STM, async, and lightweight threads
02Safe and total function design to eliminate runtime partiality and crashes
03128 GitHub stars
04Advanced Type System modeling including GADTs, type families, and phantom types
05Parsing and serialization expertise using Aeson, Megaparsec, and effect systems
06Performance tuning via strictness analysis, profiling, and fusion techniques
ユースケース
01Implementing high-performance, exception-safe concurrent backends
02Architecting a type-safe domain model with custom typeclasses and invariants
03Refactoring legacy imperative logic into pure, testable functional components