Falsify : Une nouvelle bibliothèque de test basée sur les propriétés pour Haskell
2025-04-20
Cet article de blog présente Falsify, une nouvelle bibliothèque de test basée sur les propriétés pour Haskell. Inspiré par la bibliothèque Hypothesis de Python, Falsify implémente la réduction interne (internal shrinking), gérant efficacement les structures de données infinies grâce à l'évaluation paresseuse de Haskell. Contrairement à la réduction manuelle de QuickCheck et à la réduction intégrée de hedgehog, Falsify utilise des arbres d'échantillons au lieu de flux, ce qui donne un comportement de réduction plus prévisible et compréhensible, notamment lors de l'utilisation de monadic bind.
Lire plus
Développement
Test basé sur les propriétés