----- Original Message ----- > From: "Brian Goetz" <brian.go...@oracle.com> > To: "amber-spec-experts" <amber-spec-experts@openjdk.java.net> > Sent: Wednesday, March 30, 2022 9:33:21 PM > Subject: Patterns and GADTs (and type checking and inference and overload > selection)
> GADTs -- sealed families whose permitted subtypes specialize the type > variables of the base class -- pose some interesting challenges for > pattern matching. > > (Remi: this is a big, complex area. Off-the-cuff "this is wrong" or > "you should X instead" replies are not helpful. If in doubt, ask > questions. One comprehensive reply is more useful than many small > replies. Probably best to think about the whole thing for some time > before responding.) No disagreement here, it's a nice summary of where we are and what are the challenges ahead. Rémi
