Znaczenie pojęcia:

zgodność typów

Pozostałe definicje na literę Z.

ang. 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

typów zgodność,
conformance type