haskell-pro
Expert Haskell engineer specializing in advanced type systems, pure
Best use case
haskell-pro is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Expert Haskell engineer specializing in advanced type systems, pure
Teams using haskell-pro should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/haskell-pro/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How haskell-pro Compares
| Feature / Agent | haskell-pro | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Expert Haskell engineer specializing in advanced type systems, pure
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
## 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 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.
Related Skills
wordpress-penetration-testing
This skill should be used when the user asks to "pentest WordPress sites", "scan WordPress for vulnerabilities", "enumerate WordPress users, themes, or plugins", "exploit WordPress vu...
php-pro
Write idiomatic PHP code with generators, iterators, SPL data structures, and modern OOP features. Use PROACTIVELY for high-performance PHP applications.
moodle-external-api-development
Create custom external web service APIs for Moodle LMS. Use when implementing web services for course management, user tracking, quiz operations, or custom plugin functionality. Covers parameter va...
laravel-expert
Senior Laravel Engineer role for production-grade, maintainable, and idiomatic Laravel solutions. Focuses on clean architecture, security, performance, and modern standards (Laravel 10/11+).
voice-ai-engine-development
Build real-time conversational AI voice engines using async worker pipelines, streaming transcription, LLM agents, and TTS synthesis with interrupt handling and multi-provider support
voice-ai-development
Expert in building voice AI applications - from real-time voice agents to voice-enabled apps. Covers OpenAI Realtime API, Vapi for voice agents, Deepgram for transcription, ElevenLabs for synthesis...
voice-agents
Voice agents represent the frontier of AI interaction - humans speaking naturally with AI systems. The challenge isn't just speech recognition and synthesis, it's achieving natural conversation flo...
lex
Centralized 'Truth Engine' for cross-jurisdictional legal context (US, EU, CA) and contract scaffolding.
amazon-alexa
Integracao completa com Amazon Alexa para criar skills de voz inteligentes, transformar Alexa em assistente com Claude como cerebro (projeto Auri) e integrar com AWS ecosystem (Lambda, DynamoDB,...
wcag-audit-patterns
Conduct WCAG 2.2 accessibility audits with automated testing, manual verification, and remediation guidance. Use when auditing websites for accessibility, fixing WCAG violations, or implementing ac...
stitch-loop
Teaches agents to iteratively build websites using Stitch with an autonomous baton-passing loop pattern
product-design
Design de produto nivel Apple — sistemas visuais, UX flows, acessibilidade, linguagem visual proprietaria, design tokens, prototipagem e handoff. Cobre Figma, design systems, tipografia, cor,...