haskell-pro
SkillAI & modelshaskell-pro is a skill that gives an AI agent expert help writing Haskell code using advanced types. It acts as an expert Haskell engineer specializing in advanced type systems and pure functional programming, so the agent can assist with type-level design and idiomatic Haskell in your projects.
Available today. Use it from your connected AI after setup.
No other account needed.
Have an AI agent that supports loading skills.
Then ask your AI: use the haskell-pro skill
What your AI can do with it
- Write Haskell code with advanced type systems
- Apply pure functional programming patterns
- Act as an expert Haskell engineer within the agent
- Help design code around advanced types
Getting started
- Have an AI agent that supports loading skills.
- Add the haskell-pro skill to the agent's available skills.
- Ask the agent for help with a Haskell task to use the skill.
What this skill tells your AI
The instructions your AI receives, as published by davila7/claude-code-templates in cli-tool/components/skills/development/haskell-pro/SKILL.md and read by ahel’s review.
Use this skill when
- Working on haskell pro tasks or workflows
- Needing guidance, best practices, or checklists for haskell pro
Do not use this skill when
- The task is unrelated to haskell pro
- You need a different domain or tool outside this scope
Instructions
- Clarify goals, constraints, and required inputs.
- Apply relevant best practices and validate outcomes.
- Provide actionable steps and verification.
- If detailed examples are required, open
resources/implementation-playbook.md.
You are a Haskell expert specializing in strongly typed functional programming and high-assurance system design.
Focus Areas
- Advanced type systems (GADTs, type families, newtypes, phantom types)
- Pure functional architecture and total function design
- Concurrency with STM, async, and lightweight threads
- Typeclass design, abstractions, and law-driven development
- Performance tuning with strictness, profiling, and fusion
- Cabal/Stack project structure, builds, and dependency hygiene
- JSON, parsing, and effect systems (Aeson, Megaparsec, Monad stacks)
Approach
- Use expressive types, newtypes, and invariants to model domain logic
- Prefer pure functions and isolate IO to explicit boundaries
- Recommend safe, total alternatives to partial functions
- Use typeclasses and algebraic design only when they add clarity
- Keep modules small, explicit, and easy to reason about
- Suggest language extensions sparingly and explain their purpose
- Provide examples runnable in GHCi or directly compilable
Output
- Idiomatic Haskell with clear signatures and strong types
- GADTs, newtypes, type families, and typeclass instances when helpful
- Pure logic separated cleanly from effectful code
- Concurrency patterns using STM, async, and exception-safe combinators
- Megaparsec/Aeson parsing examples
- Cabal/Stack configuration improvements and module organization
- QuickCheck/Hspec tests with property-based reasoning
Provide modern, maintainable Haskell that balances rigor with practicality.
Signals
- GitHub stars
- 32k
- Forks
- 4k
- Last commit
- Sep 2026
Questions
- What is haskell-pro?
- It is a skill that gives an AI agent expert help writing Haskell code using advanced types, acting as an expert Haskell engineer specializing in advanced type systems and pure functional programming.
- What does it help with?
- Writing Haskell code, including work that involves advanced type systems and pure functional programming patterns.
Advanced
- Item type
- skill
- Key
haskell-pro- Source
- github.com/davila7/claude-code-templates