Séance de cours

Sous-typage et génériques

Séances de cours associées (32)

Sous-typage et génériques: Variation et covariance

Explore le sous-typage, les génériques, la variance et la covariance dans Scala, ainsi que les collections, les tableaux et la recherche combinatoire.

Variance et recherche combinée

Couvre le sous-typage, les génériques, la variance, les limites de type, la covariance, la contravariance et la recherche combinatoire.

Génériques et sous-typage

Couvre les concepts avancés de génériques et de sous-typage en Java, en se concentrant sur l'implémentation LinkedList et l'interface List.

Sous-typage et polymorphisme

Explore les règles de sous-typage, les défis et son lien avec diverses formes de polymorphisme dans les langages de programmation.

Types avancés dans la programmation Java

Explore les concepts avancés de programmation Java tels que les tableaux, les chaînes de caractères et les caractères Unicode.

Introduction aux types et aux relations inductives

Explore l'importance des types dans la programmation et discute des systèmes de types malsains et des relations inductives.

Les génériques en Java : cours de cellules et de paires

Couvre la mise en œuvre de classes génériques en Java, en se concentrant sur les classes Cell et Pair.

Arrays: Déclaration en Java

Couvre la déclaration et l'initialisation des tableaux en Java, y compris les règles de syntaxe et les techniques d'initialisation des éléments.

Programmation Java: Chaînes et grilles

Couvre les concepts fondamentaux de programmation et de programmation orientée objet en Java, y compris les variables, les types, les structures de contrôle et les concepts algorithmiques de base.

Comparaison d'objets : Comparable vs Comparator

Couvre les concepts d'interfaces Comparable et Comparator en Java, en expliquant comment les classes implémentent ces interfaces pour permettre la comparaison d'objets.

Types et relations inductives

Discute de l'importance des types, des systèmes de types malsains et des relations inductives pour le système de type d'un petit langage.

Introduction à la programmation : premières étapes

Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.

Taming Null Références

Explore les défis des références nulles dans les langages de programmation et propose des solutions pour atténuer leurs inconvénients tout en assurant la compatibilité avec les bases de code existantes.

Mise en œuvre des listes à liens singuliers

Couvre l'implémentation de listes liées séparément en Java, en se concentrant sur des concepts tels que les nœuds, la gestion de la taille, l'ajout, la suppression et l'obtention d'éléments.

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

Conservation de la mémoire: Mise en œuvre des listes (III)

Couvre l'implémentation des listes en Java, en se concentrant sur les techniques de gestion de la mémoire.

Featherweight Java: Core OO Fonctionnalités Modélisation

Introduit Featherweight Java, un modèle minimaliste pour représenter les principales fonctionnalités orientées objet.

Introduction aux tableaux: Java

Couvre l'introduction aux tableaux en Java, en mettant l'accent sur la représentation structurée des données et la manipulation efficace des données.

Méthodologie : Construire une méthode

Couvre la méthodologie pour construire une méthode en Java.