Valhalla veut révolutionner Java en introduisant une nouvelle sorte de classe qui marche plus ou moins comme des types primitifs mais défini par l'utilisateur.
Mais c'est quoi vraiment un type primitif ? java.lang.Object reste la classe mère de toutes les classes ? Et plein d'autres questions.
Ca y est ! Java 9 est releasée ou presque. Bon alors y'a quoi dans Java 10 ?
Ce talk parle des nouvelles features qui vont être (ou pas) introduites dans Java 10, à savoir, les trucs laissés en plan de Java 8, l'inférence de type pour les variables locales, la covariance des types paramétrés à la déclaration et la grosse feature de Java 10 : le pattern matching et les types structurés.
Dans le cas du pattern matching, je ferai un petit tour des différents langages qui implémentent le pattern matching, leurs différentes sémantiques. Dans un second temps, je préciserai la sémantique qui est prévue pour Java et montrerai comment il est prévu d'implémenter le pattern matching en Java.