QuickCheck is fun, deal with it

In our previous post, we played with QuickCheck on an arithmetic DSL and used it to check and discover properties on its associated interpreters. Through these experiments, we explored some of the classic usage of QuickCheck and demonstrated through some examples: Its ability to reveal some design defects Its ability to test high level relations... Continue Reading →

QuickCheck experiments on a DSL

After having spent the last three posts exploring how to implement our own QuickCheck, the goal of the next two posts will be to play with it, to test and discover properties on our code and have fun as well. The target of these experiments will be the Arithmetic DSL we built several posts back... Continue Reading →

Meetup Report: Kata night

Two days ago, I went at a Crafting Software Meetup at Arolla. The goal was to join other developers and improve our skills as a group by practicing kata. A large majority of us were debutant. So after a difficult start on an exercise that was definitively out of our league, we decided to play... Continue Reading →

Create a website or blog at WordPress.com

Up ↑

%d bloggers like this: