Type-Level Programming in Scala, Part 2
We continue down the path of type-level power in Scala. We learn to add numbers as types, at compile time.
Recent posts
Type-Level Programming in Scala, Part 1
This one is hardcode. We make the Scala compiler infer type relationships for us at compile time. Pure power.
The Practical Difference Between Abstract Classes and Traits in Scala
Abstract classes and traits share a lot of overlap in Scala. How are they actually different?
How Does “20 seconds” Work in Scala?
Various constructions like “20.seconds” look like baked into the Scala language. Let’s see how these work.
The Difference Between Null, Nothing, Nil, None and Unit in Scala
We explore the various flavors of nothing-ness in Scala.