We all have pretty little things laying around in our codebases, yet, we seldom give them the same love
We all have pretty little things laying around in our codebases. They’re not exactly The Big Thing™, but they’re nice and useful nonetheless. They’re bits of specifications, or schemas, or even documentation. Yet, we seldom give them the same love we give to our actual code, and our poor little things just stay there, unloved and half-forgotten. But we can do better and give these things the love they deserve, by writing them “pretty little compilers”.
Learn about opaque types and add this new tool to your modelling toolbox!
A short case study of a real production issue that was debugged, minimized, and fixed using property-based testing.