I had a dream about having a conversation with three other people on a bus somewhere in Africa, after seeing the Cardano Africa Special; and it went something like this: Three different fictional tribespeople are going to a market controlled by a white colonist to sell their wares when they…

The one advantage dynamic typing pundits seem to bat around with little resistance is that types get in the way of their prototyping, or deciding how they plan to write a program. …

Software Architecture is getting too complicated… It is easy to look at all those design pattern books, and online articles about hexagonal architectures, or the cake pattern, or the onion architecture and get lost on how you are best able to design applications and services in a world driven by…

I want to chime in on the sleeping Giant that are Lenses and Prisms in software development: They are probably the most powerful unused tool in our arsenal! As a Learning Tool Optics can be the perfect bridge from Algebraic Data Types to the Functor hierarchies and beyond. They can the prism (could not…

In functional programming, and fervent advocates of strongly typed languages it is common to hear phrases like: “It compiles; ship it!” or “I don’t need to run it, I already know it compiles”, referring to this notion of being able to write code that gets formally verified by the compiler’s…

Type systems, and more importantly, type checkers, are invaluable to how someone could go through understanding how any given codebase works. They might consider typing errors as guard rails as they start wrapping their mind around the expected computational outcomes of any given code block they are examining. It is…