INVARIANT

a blog about programming

WELCOME TO MY BLOG. Here I write about programming, primarily with Scala 3, but more generally about advanced statically-typed programming and related technical topics.

This is my outlet for essays on the influences, motivations and decisions which contributed towards my software projects, Soundness and Fury, and a place to share ideas.

Jon Pretty

Effective Error Handling

The first in a new series of blogposts introducing providing background understanding to the concept of error handling.

The Error Management Manifesto

A declaration of twelve principles for a programming environment that's conducive to safe, elegant and maintainable code.

Migrating to Safety

An initial exploration of Contingency, and its approach to handling errors in Scala, and how it enables us to to write code that is both elegant and safe.

The Mechanics of Mitigation

This is where we start writing some real-world code.