Номинативная типизация

Номинативная типизация определяет совместимость типов данных, используя их имена и явные определения переменных. Типы данных двух переменных считаются совместимыми тогда и только тогда, когда их определения ссылаются на один и тот же тип данных. Два типа данных с одинаковой структурой, но различными именами считаются различными.

Номинативная типизация является противоположностью структурной, и считается более безопасной, хотя и менее гибкой.