Чем отличаются номинальные и структурные подтипы в типизации?

Номинальное и структурное подтипы в типизации отличаются подходом к определению совместимости типов. habr.com ru.hexlet.io

При номинальной типизации совместимость определяется на основе явных деклараций в коде программы, например, на именах классов и иерархии наследования. habr.com В этом случае нужно явно указать, что тип является подтипом другого типа. ru.hexlet.io

Структурная типизация определяет совместимость типов на основе структуры этих типов, а не на явных декларациях. habr.com Экземпляр типа Foo является подтипом Bar, если в него входят все члены типа Bar и дополнительные члены. ru.hexlet.io

Таким образом, при номинальной типизации проверка происходит по имени типа, а при структурной — по его структуре. runebook.dev