11 lines
387 B
Org Mode
11 lines
387 B
Org Mode
|
#+title: Nominal Typing
|
||
|
|
|
||
|
|
#+begin_quote
|
||
|
|
Nominal typing means that two variables are type-compatible if and only if their
|
||
|
|
declarations name the same type. For example, in C, two struct types with
|
||
|
|
different names in the same translation unit are never considered compatible,
|
||
|
|
even if they have identical field declarations.
|
||
|
|
|
||
|
|
--- https://en.wikipedia.org/wiki/Nominal_type_system
|
||
|
|
#+end_quote
|