We all have pretty little things laying around in our codebases, yet, we seldom give them the same love
A short case study of a real production issue that was debugged, minimized, and fixed using property-based testing.
Learn about opaque types and add this new tool to your modelling toolbox!
Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful