Synthèse automatique
Ce skill fait intervenir un ingénieur Haskell expert qui guide la conception de code fonctionnel fortement typé, l'architecture pure et l'optimisation des performances.
Points forts
- Couvre les types avancés : GADTs, familles de types, types fantômes et newtypes porteurs d'invariants
- Traite la concurrence avec STM, async et des combinateurs sûrs vis-à-vis des exceptions
- Inclut l'outillage projet : Cabal/Stack, hygiène des dépendances, profilage et strictness
- Promeut des fonctions totales, l'isolation des effets et des tests QuickCheck/Hspec
Limites
- Les instructions restent génériques et renvoient à un fichier resources/implementation-playbook.md absent du SKILL.md
- Aucune procédure détaillée pour la migration de code existant ou le diagnostic d'erreurs de compilation
- Ne couvre pas l'écosystème web/frontend Haskell au-delà de mentions d'Aeson et Megaparsec
À utiliser pour concevoir ou refactoriser du code Haskell avec des types expressifs, des invariants garantis et une séparation nette entre logique pure et effets.
À éviter pour des tâches hors Haskell ou pour du travail purement opérationnel sans dimension de conception fonctionnelle.
Analyse de sécurité
SûrThe skill contains only Haskell engineering guidance and references a local playbook file. It declares no tools, executes no commands, and has no destructive, exfiltration, obfuscation, or safety-disabling behavior.
Aucun point d'attention détecté
Comment cette analyse est faiteExemples
Refactor this payment state machine in Haskell to use GADTs and phantom types so invalid transitions fail at compile time, and show me the resulting module.Review this Haskell service that shares state across lightweight threads; propose an STM-based design with exception-safe async handling and explain the trade-offs.My Haskell parser is slow and leaks memory. Help me fix strictness issues, set up profiling with Cabal, and add Hspec/QuickCheck tests for the parsing logic.name: haskell-pro description: "Expert Haskell engineer specializing in advanced type systems, pure" risk: unknown source: community date_added: "2026-02-27"
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.
Du fichier au premier essai
Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.
Consulter la source et ses fichiers annexesCe téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.
1. Télécharger le fichier
Télécharger SKILL.mdDepuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/haskell-pro-mrx3xz8t/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.
Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.
mkdir -p '.skill-downloads/haskell-pro-mrx3xz8t' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/haskell-pro-mrx3xz8t/download' --output '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md.part' && mv '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md.part' '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md'2. Vérifier les prérequis
Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.
Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.
Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.
3. Charger la skill
Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.
Claude Code
test -f '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md' && test -s '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/haskell-pro' && cp -R '.skill-downloads/haskell-pro-mrx3xz8t' '.claude/skills/haskell-pro'Cursor
test -f '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md' && test -s '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md' && mkdir -p '.cursor/skills' && test ! -e '.cursor/skills/haskell-pro' && cp -R '.skill-downloads/haskell-pro-mrx3xz8t' '.cursor/skills/haskell-pro'Codex
test -f '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md' && test -s '.skill-downloads/haskell-pro-mrx3xz8t/SKILL.md' && mkdir -p '.agents/skills' && test ! -e '.agents/skills/haskell-pro' && cp -R '.skill-downloads/haskell-pro-mrx3xz8t' '.agents/skills/haskell-pro'OpenSkills
OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.
Installation officielle d’OpenSkillsopenskills install './.skill-downloads/haskell-pro-mrx3xz8t'openskills read 'haskell-pro-mrx3xz8t'La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.
Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.
openskills syncMode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.
4. Faire un premier essai
Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :
Lis .skill-downloads/haskell-pro-mrx3xz8t/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.
Bonnes pratiques React Hook Form
Developpement
Maîtrisez React Hook Form : évitez les anti-patterns, gérez les abonnements, et traitez correctement reset, dirty state et entrées contrôlées.
Migration Emotion vers Mantine
Developpement
Migrer les styled-components Emotion vers des composants Mantine avec style props et modules CSS. Pour convertir .styled.tsx ou supprimer les imports @emotion.
Détecteur de dérive de périmètre
Developpement
Analyse les diffs git par rapport à une intention pour détecter la dérive de périmètre, fichiers non liés et PR trop larges, puis suggère de garder, diviser ou justifier.