Rémi Forax

Algebraic Data Types and Pattern Matching in Java

Lieu : en ligne

Dans un papier de 1997, devenu depuis un classique, Philip Wadler et Martin Odersky [1] expliquent que l'on peut ajouter à Java les types paramétrés, les lambdas et le pattern matching sur les types de données algébriques pour obtenir une fusion de la programmation objet et de la programmation fonctionnelle.

Les types paramétrés ont été ajoutés à Java en 2004, les lambdas en 2014, et comme 2024 se rapproche, nous planchons depuis 4 ans sur l'introduction du pattern matching en Java.

Dans cet exposé, je propose de vous expliquer:

• quels sont les enjeux de l'introduction du pattern matching en Java;
  
• la solution vers laquelle on s'oriente;
  
• et enfin, où on en est, car le pattern matching est découpé en plusieurs features indépendantes introduites graduellement dans les dernières versions de Java.

[1] www-public.imtbs-tsp.eu/~gibson/Teaching/Teaching-ReadingMaterial/OderskyWadler97.pdf