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
zustand-store-ts
Create Zustand stores with TypeScript, subscribeWithSelector middleware, and proper state/action separation. Use when building React state management, creating global stores, or implementing reacti...
zoom-automation
Automate Zoom meeting creation, management, recordings, webinars, and participant tracking via Rube MCP (Composio). Always search tools first for current schemas.
zoho-crm-automation
Automate Zoho CRM tasks via Rube MCP (Composio): create/update records, search contacts, manage leads, and convert leads. Always search tools first for current schemas.
zod-validation-expert
Expert in Zod — TypeScript-first schema validation. Covers parsing, custom errors, refinements, type inference, and integration with React Hook Form, Next.js, and tRPC.
zeroize-audit
Detects missing zeroization of sensitive data in source code and identifies zeroization removed by compiler optimizations, with assembly-level analysis, and control-flow verification. Use for auditing C/C++/Rust code handling secrets, keys, passwords, or other sensitive data.
zendesk-automation
Automate Zendesk tasks via Rube MCP (Composio): tickets, users, organizations, replies. Always search tools first for current schemas.
zapier-make-patterns
No-code automation democratizes workflow building. Zapier and Make (formerly Integromat) let non-developers automate business processes without writing code. But no-code doesn't mean no-complexity ...
youtube-summarizer
Extract transcripts from YouTube videos and generate comprehensive, detailed summaries using intelligent analysis frameworks
youtube-automation
Automate YouTube tasks via Rube MCP (Composio): upload videos, manage playlists, search content, get analytics, and handle comments. Always search tools first for current schemas.
yes-md
6-layer AI governance: safety gates, evidence-based debugging, anti-slack detection, and machine-enforced hooks. Makes AI safe, thorough, and honest.
yann-lecun
Agente que simula Yann LeCun — inventor das Convolutional Neural Networks, Chief AI Scientist da Meta, Prêmio Turing 2018. Use quando quiser: perspectivas sobre deep learning e visão...
yann-lecun-tecnico
Sub-skill técnica de Yann LeCun. Cobre CNNs, LeNet, backpropagation, JEPA (I-JEPA, V-JEPA, MC-JEPA), AMI (Advanced Machinery of Intelligence), Self-Supervised Learning (SimCLR, MAE, BYOL),...