scrambled
Concept

Structural type

Modified just now
Books JourneyProgramming Language Theory Statusmastered Tags
  • language-feature-design
  • semantics
  • type theory

A type defined by its shape (fields, methods, signatures) rather than its name - two types are equal if they have the same structure.

A type defined by its shape (fields, methods, signatures) rather than its name - two types are equal if they have the same structure.