Patterns and GADTs (and type checking and inference and overload selection)

[Remi Forax]

----- Original Message -----
> From: "Brian Goetz" <brian.goetz at oracle.com>
> To: "amber-spec-experts" <amber-spec-experts at 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