Refined Types in Scala
We look at how we can impose constraints on values at compile time with the Refined library.
Recent posts
Underscores are Overloaded in Scala!
Scala syntax is so confusing sometimes - I’ll show almost all uses of underscores in Scala. Sometimes the philosophy is inconsistent, but it’s worth at least...
Repartition vs Coalesce in Apache Spark
Drawing the line between two fundamental repartitioning operations in Apache Spark.
Eta-Expansion and Partially Applied Functions in Scala
We explore some not-so-well-understood territory in the form of eta-expansion and how methods and functions interoperate.
Type-Level Programming in Scala, Part 3
Final blow in the type-level trilogy. We learn how to sort lists… at compile time.