Covarianza e controvarianza (informatica)
proprietà di operatori sui tipi nei linguaggi di programmazione / Da Wikipedia, l'enciclopedia encyclopedia
Caro Wikiwand AI, Facciamo breve rispondendo semplicemente a queste domande chiave:
Puoi elencare i principali fatti e statistiche su Covarianza e controvarianza (informatica)?
Riassumi questo articolo per un bambino di 10 anni
MOSTRA TUTTE LE DOMANDE
In informatica, covarianza e controvarianza sono proprietà che caratterizzano alcuni operatori sui tipi. Un operatore è covariante se conserva la relazione di sottotipo, controvariante se la inverte. Prendono il nome dalle omonime proprietà dei funtori in teoria delle categorie.