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.
Blog
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.
Write you some QuickCheck - Generating random strings
2016-02-22
Part of the QuickCheck from scratch series, implementing generators for random strings from character generators with customizable creation processes in F#.