Scala 3

One of the most significant, if controversial features in Scala 3 is optional braces, where significant indentation can be used instead of…

Martin Odersky and the EPFL Scala Center continue experimenting with potential new features in Scala 3. Let’s explore one of them, erased…

I mentioned in What’s Changed Since Scala 3.0.0 that Scala 3.1 introduced an experimental feature for safer exceptions. Let’s explore it in…

I’m giving a talk at Scale by the Bay, October 28th, on Lessons Learned from 15 Years of Scala in the Wild.

The Scala team continues to refine Scala 3, fixing bugs, refining existing features, and introducing some experimental features for Scala…

Update May 22, 2022: Michel Charpentier correctly pointed out that the arguments don’t need to be by-name if they are inlined. This makes…

Update April 3, 2022: I added the code examples below to the book’s code repo and did more extensive testing. See here for details.

Scala 3.0.0 is now final!

Late in the Scala 3 development process, a new type scala.Matchable was introduced to fix a loophole in pattern matching. This post…

For a long time, Scala has supported a useful “trick” called infix operator notation. If a method takes a single argument, you can call it…

Type lambdas are the type analog of “value lambdas”, also known as functions 🤓. This post explores them. The discussion naturally leads…

(With apologies to Bob Dylan.)

This post discusses a few changes and additions in Scala 3 that make designing robust, object-oriented type hierarchies a little easier.

Let’s take a break from the type system changes and discuss other new features in Scala 3. This post is about universal apply methods…

In the last post (which proved popular), I introduced dependent types and discussed interesting things you can with values as types, like…

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

Two new features in Scala 3’s type system are intersection and union types. They embrace set theory more explicitly to improve the…

In this post, I begin a tour of many of the changes to Scala’s type system in Scala 3. Let’s start with two relatively small changes…