scrambled
scrambled
Concept

Nominal typing

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

A type system where Type compatibility is determined by explicit declarations (class names, inheritance hierarchy), not structure - class A and class B are different even if identical in shape.

A type system where Type compatibility is determined by explicit declarations (class names, inheritance hierarchy), not structure - class A and class B are different even if identical in shape.