Falsify: Haskell을 위한 새로운 속성 기반 테스트 라이브러리

이 블로그 게시글에서는 Haskell을 위한 새로운 속성 기반 테스트 라이브러리인 Falsify를 소개합니다. Python의 Hypothesis 라이브러리에서 영감을 받은 Falsify는 내부 축소(internal shrinking)를 구현하여 Haskell의 지연 평가 덕분에 무한 데이터 구조를 효율적으로 처리합니다. QuickCheck의 수동 축소나 hedgehog의 통합 축소와 달리, Falsify는 스트림 대신 샘플 트리를 사용하므로, 특히 모나딕 바인드를 다룰 때 더욱 예측 가능하고 이해하기 쉬운 축소 동작을 제공합니다.