Covariance and contravariance (computer science)

Science formelle
Informatique théorique
Théorie des langages de pro...
Théorie des langages de pro...

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (27)

Connectez-vous pour filtrer par séance de cours

Page 1 sur 3

Fonctions : Python Basics

Couvre les bases des fonctions de Python, y compris leur définition, leur but et leur utilisation.

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.

Écart : définition et règles de dactylographie

Explique les relations de variance, les règles de saisie des fonctions et les vérifications de variance dans Scala.

Compilateur de vérification: Approche Spec#

Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.

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.

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.

Polymorphisme 2 : Collections hétérogènes

Explore le polymorphisme en C++, couvrant les collections hétérogènes, la gestion des ressources et la gestion de la mémoire.

Affichage polymorphe en Java

Couvre l'affichage polymorphe, le comportement par défaut et les produits abstraits en Java.

Compiler Extension Lab

Couvre le Compiler Extension Lab, en se concentrant sur l'ajout de nouvelles fonctionnalités à un compilateur de langage fonctionnel simple.

Java : Polymorphisme et héritage

Déplacez-vous dans les fonctionnalités avancées de Java, comme les constructeurs, le polymorphisme et la méthode qui priment.