Номинальная и структурная подтипизация
При номинальной подтипизации тип считается подтипом другого типа, если это отношение описано в коде явным образом. При структурной подтипизации тип считается подтипом другого типа, если включает все члены надтипа и, возможно, некие дополнительные.
Программируй & типизируй
·
Влад Ришкуция
