Я привык к проверке значения динамического контроля типов информацию о типе объектной/не объектно-ориентированной структуры во времени выполнения и броске своего рода ошибки типа, т.е. если это шарлатаны как утка это - утка. Есть ли другой тип динамического контроля типов (сообщите подробности).
Нет, динамическая типизация - это когда значения имеют тип, а переменные - нет, поэтому большая часть проверки типов выполняется во время выполнения. Итак, в основном, если значение ходит или крякает как утка, то это утка, иначе вылетает ошибка. Утиная типизация на самом деле просто описывает свойство динамической типизации, которое гарантирует, что она будет безопасной для типов (т.е. метод будет выполняться только в том случае, если переменная foo
имеет нужный атрибут или может выполнить этот метод).