Не знаю, под каким тегом спрашивать такие вопросы, так что поставил названия языков, пользователи которых могут знать ответ. Читаю про structural и nominal typing, возникла пара вопросов:   • в примерах структурной типизации[1] мы определяем функцию, которой от параметра нужен лишь метод set_x. Это разве не duck typing получается?   • правильно ли я понимаю, что nominal typing — это просто алиасы для типов (newtype в Haskell или typedef в C)?   1. https://en.wikipedia.org/wiki/Structural.....em#Example