Принцип сопоставимости типов данных при сравнении в программировании заключается в использовании операндов с совместимыми типами. 5

Совместимость типов — это совокупность правил, на основе которых программа, анализируя два типа, принимает решение о возможности одного типа заменить на другой таким образом, чтобы замена не нарушила выполнение программы. 2

Существует несколько основных механизмов определения совместимости типов: 2

1. Номинативная типизация. 2 При проверке на совместимость компилятор проверяет иерархию типов на признаки наследования и реализацию интерфейсов. 2 То есть тип B будет совместим с типом A только тогда, когда он является его предком. 2
2. Структурная типизация. 2 Компилятор считает типы совместимыми, если сопоставляемый тип имеет все признаки типа, с которым сопоставляется. 2 Чтобы быть совместимым, сопоставляемый тип должен иметь те же ключи с теми же (идентичными или совместимыми) типами, что и тип, с которым происходит сопоставление. 2
3. Утиная типизация. 2 Принцип, определяющий совместимость типов, основываясь не на иерархии наследования или явной реализации интерфейсов, а на их описании. 2 Утиная типизация присуща лишь языкам с динамическим связыванием (динамическая типизация). 2