A Small Example of Phantom Types
Here is an example of so-called phantom types and covariance in Scala to improve type safety and correctness. The example is a simplified version from a real...
Recent Posts
A Small Example of the Typeclass Pattern
Typeclasses are most famously a language feature of Haskell that has gained interest in the Scala community. Here I describe the basic pattern with reference...
HSBC - A Successful Delivery
Over the last few months, we’ve been working on delivering HSBC’s Clearing Connectivity Layer and OTC Cleared Trade Acceptance System. We went live early Dec...
Producing Systems That Do Not Rot
I was driven to write this article after reading Kirk Knoernschild’s blog about Rotting Design and felt I needed to say something.
TDD from a Control Theory POV
This is another way of looking at how Test Driven Development (TDD) helps to build better software.