Write you some QuickCheck

In the next couple of posts, I’m going to implement a basic version of QuickCheck from scratch. Follow along and you’ll:

• learn how QuickCheck works
• become better at using it¹
• see a bit of Quviq’s QuickCheck in Erlang as well

I’ll be porting tons of Haskell code in F#². — Disclaimer: I’ve done similar things in the past. It’s fun!

Here’s a list of posts to follow:

• Write you some QuickCheck: Prelude
• Write you some QuickCheck: Generating random bytes
• Write you some QuickCheck: Generating random characters
• Write you some QuickCheck: Generating random booleans
• Write you some QuickCheck: Generating random 32-bit signed integers
• Write you some QuickCheck: Generating random 64-bit signed integers
• Write you some QuickCheck: Generating random 32-bit floating-points
• Write you some QuickCheck: Generating random lists
• Write you some QuickCheck: Generating random strings
• Write you some QuickCheck: Shrinking numbers
• Write you some QuickCheck: Shrinking bytes, characters, and booleans
• Write you some QuickCheck: Shrinking lists
• Write you some QuickCheck: Shrinking strings
• Write you some QuickCheck: Properties
• Write you some QuickCheck: Properties that hold under certain conditions
• Write you some QuickCheck: Properties that are labeled
• Write you some QuickCheck: Properties that are labeled conditionally
• Write you some QuickCheck: Putting everything together
• Write you some QuickCheck: Where’s the Arbitrary class?

Source code on GitHub: https://gist.github.com/moodmosaic/65c576732722b3b7a200

---