Programming Language Theory Flashcard
What are nominal typing and structural typing?
Books
Concepts
Decktype theory
Question
What are nominal typing and structural typing?
Answer
Nominal typing is a policy that determines type compatibility based on user-provided declarations.
Structural typing is a policy that determines type compatibility based on their structures.