Одна из известнейших персон CS, американский учёный в области вычислительной техники, директор по исследованиям корпорации Google,член Совета Американской ассоциации искусственного интеллекта, Питер Норвиг отмечает бесспорные преимущества первоклассных динамических типов:
Первоклассность: могут быть использованы точно также, как и любой другой объект или значение.
Типы или классы являются объектами времени исполнения (не только времени компиляции)
Переменные могут иметь типы в качестве своих значений
Типы и классы могут быть созданы/изменены в рантайме
Мы имеем функции для манипуляции типами/классами, а также выражения для создания безымянных типов.
Нет необходимости в создании дополнительных динамических объектов для хранения типов, так как это делают сами объкты типов.
http://norvig.com/design-patterns/design-patterns.pdf стр 11
