Co to znaczy Conformance Type

Definicja TYPE CONFORMANCE: zgodność typów

Co oznacza TYPE CONFORMANCE: Reguły i metareguły ustalające, kiedy typ T1 pewnego bytu programistycznego wydedukowany na podstawie reguł wnioskowania o typie (type inference rules) jest zgodny z typem T2, występującym w deklaracji tego typu. Przykładem takich reguł jest zamienialność, kowariancja, kontrawariancja, nazwowa zgodność typów, strukturalna zgodność typów, itd.