Falsify：Haskell 用の新しいプロパティベースのテストライブラリ

このブログ投稿では、Haskell 用の新しいプロパティベースのテストライブラリである Falsify を紹介します。Python の Hypothesis ライブラリに触発された Falsify は、内部縮小 (internal shrinking) を実装し、Haskell の遅延評価のおかげで無限のデータ構造を効率的に処理します。QuickCheck の手動縮小や hedgehog の統合縮小とは異なり、Falsify はストリームではなくサンプルツリーを使用するため、特にモナディックバインドを扱う場合に、より予測可能で分かりやすい縮小動作を実現します。