Статическая привязка типов против динамической привязки типов

Я понимаю, что подразумевается под привязкой типа. Пожалуйста, поправьте меня, если я ошибаюсь.

Привязка типов — это процесс «связывания» объявленной переменной с определенным типом
(Выполняется компилятором).

Привязка типов может быть классифицирована как -
Статическая привязка типов
Привязка динамического типа

Привязка статического типа может быть достигнута двумя типами объявлений —

http://sankofa.loc.edu/CHU/WEB/Courses/Cosi350/Ch4/bound.2.gif

Его ясно до сюда .
Но теперь, что такое привязка динамического типа? (не определение) Я знаю, что это означает, что переменная связана с «типом» во время выполнения,

http://sankofa.loc.edu/CHU/WEB/Courses/Cosi350/Ch4/bound. 3.gif

Любая дополнительная информация об этом, например -

1. ПочемуПривязка динамического типа?
2. В каких языках программирования эта функция доступна?
3. Каковы его преимущества и недостатки по сравнению со статическим связыванием типов?

Задается оператором присваивания.

Не могли бы вы предоставить дополнительную информацию об этом. Должен ли он быть указан только с оператором присваивания?