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 …
-
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.
-
-
Good one. I saw Alex, who did the work on this, describe it in a Scala symposium talk in London last year. Some ripper examples.
-
Which Alex was it?
- 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.