2021-07-29 22:51:04 +00:00
|
|
|
:PROPERTIES:
|
|
|
|
|
:ID: b458dd6c-6627-4e6b-b0ec-b6dbd030a83a
|
|
|
|
|
:END:
|
2020-10-09 05:56:12 +00:00
|
|
|
#+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
|
