Short intro to QuickCheck
2016-02-09
A concise introduction to QuickCheck property-based testing, demonstrating how to write and test properties like 'the reverse of reverse of a list is the list itself'.
Blog
Write you some QuickCheck
2016-02-08
Learn how QuickCheck works by implementing a basic version from scratch. Follow along to become better at using property-based testing and see Quviq's QuickCheck in Erlang.
Those pesky build servers
2015-10-08
Build servers can hurt productivity by introducing single points of failure, false positives/negatives, and configuration overhead - you may not need one after all.
Regex-constrained strings with FsCheck
2015-09-25
Generate regex-constrained strings in F# using FsCheck by converting regular expressions into finite-state machines, inspired by Haskell's quickcheck-regex package.
F# on Emacs with Spacemacs
2015-04-25
Set up F# development in Emacs using Spacemacs configuration, going beyond Visual Studio with fsharpbinding support for cross-platform F# editing.
Setting up Haskell on Windowss
2015-04-15
Install Haskell on Windows with just GHC compiler and Cabal build system, avoiding Haskell Platform's outdated packages and unnecessary dependencies.
Observing the size of generated test data
2015-03-21
Use QuickCheck's sample function to observe generated test data examples and understand how the size parameter affects the distribution and complexity of test values.