Scala 3: Dependent Types, Part I

Scala 3 expands on the type-level computing you can do at compile time. This post starts a discussion…

Scala 3: What’s Changed Since Scala 3.0.0

The Scala team continues to refine Scala 3, fixing bugs, refining existing features…

Scala 3: Infix Operator Notation

For a long time, Scala has supported a useful “trick” called infix operator notation. If a method…

Scala 3: Dependent Types, Part II

In the last post (which proved popular), I introduced dependent types and discussed interesting…

Scala 3: Type Lambdas, Polymorphic Function Types, and Dependent Function Types

Scala 3: Safer Pattern Matching with Matchable

Late in the Scala 3 development process, a new type scala.Matchable was…

Scala 3: A Look at “inline” (and “Programming Scala” is Now Published!)

Update April 3, 2022: I added the…

Scala 3: Well-designed Object-Oriented Type Hierarchies