Да. Просто в этой (не самой лучшей) статье есть следующее определение:
> -- Цитата:
> Статическая типизация формируется из того, что окончательные типы переменных и функций складываются на этапе сбора данных, то есть в этот момент
Если следовать этому определению, то любой объекто-ориентированный язык не является статически типизированным.
Если взять более привычное определениеhttp://progopedia.ru/typing/static/:
> -- Цитата:
> Статическая типизация означает, что , а не на этапе выполнения программы. Кроме того, типы данных ассоциируются с переменными, а не с конкретными значениями., то объектно-ориентированные языки снова становятся статическими.
В общем от определения зависит.