Couvre les blocs, les fonctions et les références en C++, y compris la portée, les variables, l'utilisation des fonctions, les interfaces, les pointeurs et les références.
Couvre l'héritage, le polymorphisme et le casting dans la programmation orientée objet, en mettant l'accent sur la factorisation du code et la manipulation générique d'objets.
Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.