It would be possible to maintain the same syntax as current ADTs, however this would hide the real features of the underlying objects. This should be discussed. The first step of this work is to determine what features the "case classes" should have.
Notable things to think about include:
Lenience vs strictness.
Pattern matching in the context of the above.
Multiple levels of heirarchy (like we do in the Scala ASTs).
It would be possible to maintain the same syntax as current ADTs, however this would hide the real features of the underlying objects. This should be discussed. The first step of this work is to determine what features the "case classes" should have.
Notable things to think about include: