Ceylon Migration Bot

[@tombentley] > They are not anonymous types. Why not? They are values (and types, but the type can't be used where a type name is required) and they can't be...

[@FroMage] Well, they _are_ not anonymous types. But I agree that so far I don't have a good reason why we can't pretend that they are. If that would solve...

[@tombentley] > > the value of the constant changes the analysis of the switch statement becomes invalid > > The same is true of enumerated types if you don't recompile...

[@gavinking] Note that the kind of reasoning proposed here is the same kind of reasoning proposed by #3988. Most of the work would be in the model loader which would...

[@FroMage] > Most of the work would be in the model loader which would need to expose literal values of constant toplevel attributes Well, I guess we can do that....

[@tombentley] we should now support switching on Java enums, as the model loader gives the values an anonymous (in the Ceylon sense) type (that extends the enum type). @gavinking I...

[@RossTate] Sounds like you want ```ceylon interface Monoid { shared static formal Other zero; shared formal Other plus(Other other); } class String satisfies Monoid { shared static actual String zero...

[@gavinking] I don't want `static` because the body of a class is an executable block of code. I _do not_ want to open up the incredible can of worms of...

[@RossTate] Ah, I hadn't thought about initialization.

[@RossTate] Another problem is that you may want to change the monoid being used from the default one. My student is working on this via our shapes stuff. So with...