algebraic data types are too much magic. I see... :( alternatively I'd rather have to explicit the return type, to allows for GADT.
News just in: Dotty's syntax has changed: you now need to specify type parameters on the cases. "Too much magic, otherwise", says @odersky.https://twitter.com/propensive/status/864941056600813568 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If
@odersky says there's "too much magic", he's probably right. He's not known for his magicophobia. -
"Rhabdophobia" - there's a word for everything... ;)
- Show replies
New conversation -
-
-
Like so? enum Stack[+T] { case Empty[Nothing] case Push[T](pop: Stack[T], peek: T) }
-
I'm not sure the `[Nothing]` is required. The change isn't merged yet, so I can't test 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.