Falsify：Haskell 的新型属性测试库
2025-04-20
本文介绍了 Falsify，一个 Haskell 的新型属性测试库，它借鉴了 Python Hypothesis 库的思想，实现了内部收缩（internal shrinking），并在 Haskell 的惰性求值特性下，能够高效地处理无限数据结构。不同于 QuickCheck 的手动收缩和 hedgehog 的集成收缩，Falsify 使用样本树（sample tree）而非样本流来表示测试数据，这使得它的收缩过程更可预测，更易于理解，并能更好地处理 monadic bind。
阅读更多
开发
Falsify