covarianza e controvarianza
Sign in to saveAlso known as bivariance, nonvariance, bivariant, nonvariant, invariance, invariant, covariance, covariant
proprietà di operatori sui tipi nei linguaggi di programmazione
Wikidata facts
- Instance of
- quality
Show 2 more facts
- facet of
- generic programming
- characteristic of
- type constructor
Sources (1)
via Wikidata · CC0
Article · Italiano
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.
Abstract from DBpedia / Wikipedia · CC BY-SA