
Haskell coding skill for AI agents
概览
Comprehensive Agent Skills for professional Haskell development and code review. Built by senior Haskell developers and community leaders with years of production Haskell experience, these skills encode the patterns, practices, and hard-won knowledge that define modern, industrial-strength Haskell. This repository contains two complementary skills: Expert Haskell development skill. Gives any compatible coding agent deep expertise in Haskell programming, from project setup through production deployment. It reflects the way experienced Haskell engineers actually write code: type-driven, pragmatic, and grounded in real-world tradeoffs. The skill follows a progressive disclosure architecture. The main SKILL.md provides immediately actionable guidance (~420 lines), while seven deep-dive reference documents cover advanced topics agents can load on demand. - Project setup and structure (Cabal 3.
README
以下为原文 README 节选,完整内容请查看原文。
Haskell Skills
Comprehensive Agent Skills for professional Haskell development and code review. Built by senior Haskell developers and community leaders with years of production Haskell experience, these skills encode the patterns, practices, and hard-won knowledge that define modern, industrial-strength Haskell.
Skills
This repository contains two complementary skills:
haskell-coder
Expert Haskell development skill. Gives any compatible coding agent deep expertise in Haskell programming, from project setup through production deployment. It reflects the way experienced Haskell engineers actually write code: type-driven, pragmatic, and grounded in real-world tradeoffs.
The skill follows a progressive disclosure architecture. The main SKILL.md provides immediately actionable guidance (~420 lines), while seven deep-dive reference documents cover advanced topics agents can load on demand.
Covers:
- Project setup and structure (Cabal 3.0)
- Essential GHC extensions (categorized: always-on, use-freely, avoid-unless-needed)
- Type-driven development patterns (newtypes, phantom types, smart constructors)
- Error handling
- Testing with HSpec and QuickCheck
- Performance essentials (strictness, profiling, space leak prevention)
- Common gotchas that trip up even intermediate Haskellers
- Key library recommendations across 18 packages
- Commands reference for the full build/test/profile lifecycle
Reference Documents:
| File | Topics |
|---|---|
references/type-system.md |
ADTs, GADTs, type families, type classes, DataKinds, phantom types |
references/common-patterns.md |
MTL, ReaderT, effect systems, optics, free monads, type-level programming |
references/libraries.md |
Essential library ecosystem with usage examples |
references/performance.md |
Strictness, profiling, space leaks, concurrency, benchmarking with Criterion |
references/ghc-extensions.md |
30+ GHC extensions documented with examples and safety guidance |
references/cabal-guide.md |
Cabal format, multi-package projects, CI/CD, Hackage publishing |
references/nix-haskell.md |
Nix-based Haskell development (nixpkgs, haskell.nix, haskell-flake) |
haskell-reviewer
Haskell code review skill. Reviews code for correctness, idiomatic style, performance pitfalls, and adherence to best practices. Covers totality, type safety, strictness, GHC extension usage, testing, and build configuration.
Installation
Claude Code
Add individual skills as dependencies in your project’s .claude/settings.json:
{
"skills": [
"github:mightybyte/haskell-skill/haskell-coder",
推荐工具
换一个关键词,或者移除筛选条件。
安装
npx skillfish add mightybyte/haskell-skill