Falsify: Una nueva biblioteca de pruebas basada en propiedades para Haskell

Esta entrada de blog presenta Falsify, una nueva biblioteca de pruebas basada en propiedades para Haskell. Inspirada en la biblioteca Hypothesis de Python, Falsify implementa la reducción interna (internal shrinking), manejando eficientemente estructuras de datos infinitas gracias a la evaluación perezosa de Haskell. A diferencia de la reducción manual de QuickCheck y la reducción integrada de hedgehog, Falsify utiliza árboles de muestras en lugar de flujos, lo que resulta en un comportamiento de reducción más predecible y comprensible, especialmente al tratar con monadic bind.