Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.
Présente les concepts fondamentaux de la programmation orientée objet en utilisant C ++, en se concentrant sur l'encapsulation, l'héritage et le polymorphisme avec des exemples de codage pratiques.
S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Explore le sous-typage, les génériques et la variance dans Scala, en soulignant l'importance de descriptions de types précises et en démontrant des applications pratiques des expressions.
