Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
В информатике система типов считается номинальной (также называемой номинативной или основанной на именах), если совместимость и эквивалентность типов данных определяется явными объявлениями и/или именем типа. Номинальные системы используются для определения эквивалентности типов, а также для определения, является ли один тип подтипом другого. Номинальные системы типов противопоставляются структурным системам, где сравнение основано на структуре самих типов и не требует явных объявлений.
In computer science, a type system is nominal (also called nominative or name based) if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. Nominal type systems contrast with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.
Номинальная типизация
Номинальное типирование означает, что две переменные совместимы по типу только в том случае, если их объявления ссылаются на один и тот же тип. Например, в языке C два типа структур с разными именами в одном и том же модуле перевода никогда не считаются совместимыми, даже если они имеют идентичные объявления полей. Однако C также допускает объявление `typedef`, которое создает псевдоним для существующего типа. Эти псевдонимы являются чисто синтаксическими и не различают тип и его псевдоним при проверке типов. Эта особенность, распространенная во многих языках, может привести к снижению типобезопасности, когда (например) один и тот же примитивный целочисленный тип используется в двух семантически различных контекстах. Haskell предоставляет синтаксический псевдоним в стиле C с помощью объявления `type`, а также объявление `newtype`, которое действительно вводит новый, отличный тип, изоморфный существующему.
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. However, C also allows a typedef declaration, which introduces an alias for an existing type. These are merely syntactical and do not differentiate the type from its alias for the purpose of type checking. This feature, present in many languages, can result in a loss of type safety when (for example) the same primitive integer type is used in two semantically distinct ways. Haskell provides the C style syntactic alias in the form of the type declaration, as well as the newtype declaration that does introduce a new, distinct type, isomorphic to an existing type.
Номинальное подтипирование
Аналогичным образом, номинальное подтипирование означает, что один тип является подтипом другого тогда и только тогда, когда это явно указано в его определении. Языки с номинальной типизацией обычно требуют, чтобы объявленные подтипы были структурно совместимы (хотя Eiffel допускает объявление несовместимых подтипов). Однако подтипы, которые структурно совместимы "случайно", но не объявлены как подтипы, не рассматриваются как подтипы. C++, C#, Java, Kotlin, Objective-C, Delphi, Swift, Julia и Rust в основном используют как номинальную типизацию, так и номинальное подтипирование. Некоторые языки с номинальным подтипированием, такие как Java и C#, позволяют объявлять классы как окончательные (или запечатанные в терминологии C#), указывая, что дальнейшее подтипирование запрещено.
In a similar fashion, nominal subtyping means that one type is a subtype of another if and only if it is explicitly declared to be so in its definition. Nominally typed languages typically enforce the requirement that declared subtypes be structurally compatible (though Eiffel allows non compatible subtypes to be declared). However, subtypes which are structurally compatible "by accident", but not declared as subtypes, are not considered to be subtypes. C++, C#, Java, Kotlin, Objective C, Delphi, Swift, Julia and Rust all primarily use both nominal typing and nominal subtyping. Some nominally subtyped languages, such as Java and C#, allow classes to be declared final (or sealed in C# terminology), indicating that no further subtyping is permitted.
Сравнение
Номинальная типизация эффективна для предотвращения случайного совпадения типов, что обеспечивает более высокую типобезопасность по сравнению со структурной типизацией. Однако это достигается за счет снижения гибкости, так как, например, номинальная типизация не позволяет создавать новые супертипы без изменения существующих подтипов.
Nominal typing is useful at preventing accidental type equivalence, which allows better type safety than structural typing. The cost is a reduced flexibility, as, for example, nominal typing does not allow new super types to be created without modification of the existing subtypes.