Synthèse automatique
Fournit des conseils d'ingénierie Haskell avancée couvrant les systèmes de types, l'architecture fonctionnelle pure, la concurrence STM/async et l'optimisation des performances.
Points forts
- Couvre des sujets pointus et concrets : GADTs, familles de types, types fantômes et conception de typeclasses guidée par les lois
- Privilégie des fonctions totales et sûres plutôt que des fonctions partielles, avec isolation explicite des effets IO
- Inclut des recommandations sur la concurrence (STM, async), le parsing (Megaparsec, Aeson) et la configuration Cabal/Stack
- Demande des exemples compilables ou exécutables dans GHCi et des tests QuickCheck/Hspec fondés sur les propriétés
Limites
- Aucune version de GHC, bibliothèque ou extension précise n'est fixée, donc les conseils restent généraux
- Ne traite pas des outils d'IA ou d'autres langages ; le périmètre est strictement Haskell
- Les exemples détaillés sont renvoyés vers un fichier externe (resources/implementation-playbook.md) non fourni ici
À utiliser lorsqu'on conçoit ou refactorise du code Haskell exigeant : modélisation par types, séparation pur/effectful, concurrence ou optimisation des performances.
À éviter pour des tâches hors Haskell, du scripting rapide dans un autre langage, ou lorsqu'une aide purement syntaxique sans réflexion sur les types suffit.
Analyse de sécurité
SûrThis is a pure instructional persona prompt for Haskell engineering. It declares no allowed-tools, contains no shell commands, no network calls, no file operations, and no obfuscated payloads. The only reference to an external artifact is an optional 'resources/implementation-playbook.md' read, which is benign and non-executing. Nothing here can cause destructive or exfiltrating behavior.
Aucun point d'attention détecté
Comment cette analyse est faiteExemples
I'm modeling a payment workflow in Haskell. Can you show how to use GADTs and phantom types to enforce valid state transitions at compile time, with a GHCi-runnable example?My Haskell module uses head, fromJust, and unsafe indexing all over. Refactor it to use total, safe alternatives with explicit error types, and add Hspec tests.This Haskell service is slow under load and uses plain IO with shared mutable state. Suggest an STM-based redesign, strictness fixes, and profiling steps to confirm the improvement.name: haskell-pro description: "Expert Haskell engineer specializing in advanced type systems, pure" risk: safe 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/expert-haskell-engineer-mrx3xz2d/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/expert-haskell-engineer-mrx3xz2d' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/expert-haskell-engineer-mrx3xz2d/download' --output '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md.part' && mv '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md.part' '.skill-downloads/expert-haskell-engineer-mrx3xz2d/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/expert-haskell-engineer-mrx3xz2d/SKILL.md' && test -s '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/haskell-pro' && cp -R '.skill-downloads/expert-haskell-engineer-mrx3xz2d' '.claude/skills/haskell-pro'Cursor
test -f '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && test -s '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && mkdir -p '.cursor/skills' && test ! -e '.cursor/skills/haskell-pro' && cp -R '.skill-downloads/expert-haskell-engineer-mrx3xz2d' '.cursor/skills/haskell-pro'Codex
test -f '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && test -s '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && mkdir -p '.agents/skills' && test ! -e '.agents/skills/haskell-pro' && cp -R '.skill-downloads/expert-haskell-engineer-mrx3xz2d' '.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/expert-haskell-engineer-mrx3xz2d'openskills read 'expert-haskell-engineer-mrx3xz2d'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/expert-haskell-engineer-mrx3xz2d/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.