Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres

PalateKit

Menu

Demander une ressource

Décrivez en une phrase la ressource qui vous manque. Nous vous écrirons quand elle sera publiée.

0 / 280

Débloquer PalateKit

Tout débloquer

Offre

Le paiement vaut acceptation de nos conditions générales de vente.

Paiement sécurisé par Stripe. Reçus et factures envoyés par e-mail.

Content de vous revoir

Connectez-vous pour installer, télécharger ou sauvegarder cette ressource. Un compte gratuit suffit pour les ressources gratuites.

Écrire du Haskell avec un système de types avancé v1.0.0

Utilisez cette ressource pour écrire et relire du Haskell avec un système de types avancé

Nouveau

  • 398 téléchargements
  • 105 mentions J'aime
  • 115 sauvegardes

Gratuit

Installer avec la CLI

Dans un terminal, depuis le dossier voulu :

npx --yes palatekit@latest install haskell-typed-development

Sans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.

Première fois : connectez la CLI avec

npx --yes palatekit@latest login

L'agent conçoit ou relit du code Haskell en s'appuyant sur des systèmes de types avancés et une démarche de vérification. Vous obtenez des choix de conception explicites et des garanties plus claires.

Choisie surtout par

Mise à jour le 2 novembre 2026

Carte de la skill « Écrire du Haskell avec un système de types avancé »

Caractéristiques

Guides d'installation
Génère avec
Le modèle de votre agent
Licence
MIT

Ressources similaires

Tout voir

Ce que vous obtenez

  • SKILL.md : domaines d'attention, démarche et format de sortie
  • SKILL.md : critères d'usage et points de vérification

Pour qui

  • Vous développez un module Haskell qui doit être fiable
  • Vous voulez renforcer les types d'un code fonctionnel

Pas pour qui

    Étiquettes

    • haskell
    • types
    • fonctionnel
    • fiabilité

    À propos

    Vous dites

    « Renforce les types de ce module de paiement pour interdire les états invalides. »

    Carte de la skill « Écrire du Haskell avec un système de types avancé »

    Skill publiée par davila7 sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.

    Voir plus

    Comment l'utiliser

    1. Installez la skill dans le dossier de skills de votre agent
    2. Demandez à votre agent de écrire et relire du Haskell avec un système de types avancé
    3. Relisez et ajustez le résultat

    Aperçu du contenu

    Fichiers

    • LICENSE1,1 Ko
    • NOTICE-PALATEKIT.md0,5 Ko
    • SKILL.md2,2 Ko

    Origine et licence

    Référencée sans modification

    Auteur
    davila7
    Source
    github.com/davila7/claude-code-templates/tree/f57964ebda91cdfb31755661ecea9395f30020f1/cli-tool/components/skills/development/haskell-pro
    Licence
    MIT

    Notice

    « haskell-pro » (davila7, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    Avis des utilisateurs

    –

    Aucune note pour l'instant

    Chargement des avis…

    Supprimer votre avis ?

    Votre note et votre commentaire seront retirés de la fiche.