Show this thread
-
Exactly what you'd want (`List[Foo]`), enums have clever data constructors. The wart is still here, it's just better hidden. I don't understand the decision to have case classes extend Product & Serializable, but not more general ADTs (with at least one Product member).
It would have to be "with nothing but Product members," not "with at least one Product member". Inheriting from Product means that you must be a Product.
-
-
You’re right, of course. But it’d still work for ADTs: either all type constructors are product types and you can just extend Product, or at least one isn’t and Product doesn’t get inferred.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Also, in the case of `enum` in dotty, how could any of the cases *not* be a `Product`?
-
Ah, I assumed that simple and value cases were encoded as case objects, but they're not. So it's definitely possible that enum cases might not be Products...
derechef.
End of conversation
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.