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 …
-
-
That would have been Aleksander Boruch-Gruszecki. https://2019.ecoop.org/details/scala-2019-papers/4/Towards-Improved-GADT-Reasoning-in-Scala …
-
Thanks!
- 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.