A Small (Real) Example of Kleisli Arrows
This is a simple example of use of a mysterious beast called a Kleisli arrow.
Recent Posts
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...
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.