Falsify: مكتبة اختبار جديدة تعتمد على الخصائص في Haskell
2025-04-20
تُقدّم هذه المدونة Falsify، وهي مكتبة اختبار جديدة تعتمد على الخصائص في لغة البرمجة Haskell. مستوحاة من مكتبة Hypothesis في بايثون، تُطبّق Falsify تقنية التقلص الداخلي (internal shrinking)، مما يُمكّنها من التعامل بكفاءة مع هياكل البيانات اللانهائية بفضل التقييم الكسول في Haskell. وعلى عكس تقنية التقلص اليدوي في QuickCheck وتقنية التقلص المُدمجة في hedgehog، تستخدم Falsify أشجار العينات بدلاً من التدفقات، مما يُنتج سلوك تقلص أكثر قابلية للتنبؤ وسهولة في الفهم، خاصة عند التعامل مع monadic bind.
اقرأ المزيد
التطوير