I've written a lesson about some of the more advanced capabilities of enumerations in Scala 3. It's still "beginner level", so I managed to avoid going into detail on variance, but virtually everything else is covered: https://scala.zone/courses/scala-beginner/data/enums2 …
-
Sealed traits are still there. The new enums add more flexibility, as well as concision, compared to the the old enumerations, so they can be used for many abstract data types now.
The new enumeration syntax should cover the vast majority of ADT definitions that would previously have been implemented with case classes and sealed traits, but they're still implemented that way under the hood.
-
-
The type inference in pattern matching GADTs or GADT-like structures is a big change. It was broken now it’s magical.
-
That was also out-of-scope for the lesson, but Guillaume Martres talks about it here: https://gist.github.com/smarter/2e1c564c83bae58c65b4f3f041bfb15f … Maybe one of the later, advanced pattern-matching lessons will cover this... as soon as I've understood it myself.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.