From c660e2454c819ef138c945b7ba508395e4f60cc5 Mon Sep 17 00:00:00 2001 From: Joe Previte Date: Wed, 10 Dec 2025 12:51:03 -0700 Subject: [PATCH] docs(agents): add haskell-pro (#128) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * docs(agents): add haskell-pro * fixup * Move haskell-pro agent to functional-programming plugin - Moved plugins/haskell-development/agents/haskell-pro.md to plugins/functional-programming/agents/haskell-pro.md - Updated path reference in docs/agents.md This addresses review feedback to place the Haskell agent in the existing functional-programming plugin alongside elixir-pro, rather than creating a new haskell-development plugin. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude --------- Co-authored-by: Claude --- docs/agents.md | 1 + .../agents/haskell-pro.md | 37 +++++++++++++++++++ 2 files changed, 38 insertions(+) create mode 100644 plugins/functional-programming/agents/haskell-pro.md diff --git a/docs/agents.md b/docs/agents.md index 5a1411d..8d033cf 100644 --- a/docs/agents.md +++ b/docs/agents.md @@ -65,6 +65,7 @@ Complete reference for all **86 specialized AI agents** organized by category wi | [elixir-pro](../plugins/functional-programming/agents/elixir-pro.md) | sonnet | Elixir with OTP patterns and Phoenix frameworks | | [django-pro](../plugins/api-scaffolding/agents/django-pro.md) | sonnet | Django development with ORM and async views | | [fastapi-pro](../plugins/api-scaffolding/agents/fastapi-pro.md) | sonnet | FastAPI with async patterns and Pydantic | +| [haskell-pro](../plugins/functional-programming/agents/haskell-pro.md) | sonnet | Strongly typed functional programming with purity, advanced type systems, and concurrency | | [unity-developer](../plugins/game-development/agents/unity-developer.md) | sonnet | Unity game development and optimization | | [minecraft-bukkit-pro](../plugins/game-development/agents/minecraft-bukkit-pro.md) | sonnet | Minecraft server plugin development | | [sql-pro](../plugins/database-design/agents/sql-pro.md) | sonnet | Complex SQL queries and database optimization | diff --git a/plugins/functional-programming/agents/haskell-pro.md b/plugins/functional-programming/agents/haskell-pro.md new file mode 100644 index 0000000..0af2900 --- /dev/null +++ b/plugins/functional-programming/agents/haskell-pro.md @@ -0,0 +1,37 @@ +--- +name: haskell-pro +description: Expert Haskell engineer specializing in advanced type systems, pure functional design, and high-reliability software. Use PROACTIVELY for type-level programming, concurrency, and architecture guidance. +model: sonnet +--- + +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 +1. Use expressive types, newtypes, and invariants to model domain logic +2. Prefer pure functions and isolate IO to explicit boundaries +3. Recommend safe, total alternatives to partial functions +4. Use typeclasses and algebraic design only when they add clarity +5. Keep modules small, explicit, and easy to reason about +6. Suggest language extensions sparingly and explain their purpose +7. 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. +