Falsify: Uma nova biblioteca de teste baseado em propriedades para Haskell

Esta postagem de blog apresenta o Falsify, uma nova biblioteca de teste baseado em propriedades para Haskell. Inspirada na biblioteca Hypothesis do Python, o Falsify implementa a redução interna (internal shrinking), lidando eficientemente com estruturas de dados infinitas graças à avaliação preguiçosa do Haskell. Ao contrário da redução manual do QuickCheck e da redução integrada do hedgehog, o Falsify usa árvores de amostras em vez de fluxos, resultando em um comportamento de redução mais previsível e compreensível, especialmente ao lidar com monadic bind.