Recent Posts

A Small Example of Phantom Types

2 minute read

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

3 minute read

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...