Structural type system
id:
structural-type-system-256-11337892
title:
Structural type system
text:
A structural type system is a major class of type systems in which type compatibility and equivalence are determined by the type's actual structure or definition and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another. It contrasts with nominative systems, where comparisons are based on the names of the types or explicit declarations, and duck typing, in which only the p
brand slug:
wiki
category slug:
encyclopedia
description:
Class of type systems
original url:
https://en.wikipedia.org/wiki/Structural_type_system
date created:
date modified:
2024-01-17T18:49:58Z
main entity:
{"identifier":"Q936724","url":"https://www.wikidata.org/entity/Q936724"}
image:
fields total:
13
integrity:
14