Blog

Write you some QuickCheck - Properties that hold under certain conditions

2016-06-13

Part of the QuickCheck from scratch series, implementing conditional properties that only hold under certain preconditions using the Gen and Property modules in F#.

Write you some QuickCheck - Properties

2016-05-27

Learn how to write assertions about logical properties that functions should fulfill in QuickCheck, using List.rev as an example to understand property-based testing fundamentals.

Atom + Stack = no globally installed GHC/packages

2016-05-19

Set up a clean Haskell development environment using Stack to avoid global GHC installations and atom-haskell for integrated tooling with ghc-mod, hlint, and stylish-haskell.

Write you some QuickCheck - Shrinking lists

2016-04-10

Part of the QuickCheck from scratch series, implementing list shrinking functions that drop elements to find minimal counterexamples when properties fail.

Creating F# lists with AutoFixtures

2016-04-03

Solve AutoFixture's circular reference exception when creating F# lists by implementing custom specimen builders and handling immutable list creation patterns.

Write you some QuickCheck - Shrinking numberss

2016-03-17

Part of the QuickCheck from scratch series, implementing number shrinking functions to clean noise and report minimal counterexamples when properties fail.

Write you some QuickCheck - Generating random floatss

2016-02-25

Part of the QuickCheck from scratch series, implementing generators for random 32-bit floating-point numbers using fraction generation techniques from Haskell's QuickCheck.

← Previous Page 8 of 17 Next →

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17