Entendo o que se entende por ligação de tipo. Por favor corrija-me se eu estiver errado

ligação @Type é o processo de 'associar' uma variável declarada a um tipo específico
(Feito pelo compilador

ligação @Type pode ser classificada como -
Vinculação de tipo estático
Ligação de tipo dinâmico

ligação do tipo estático pode ser obtida por dois tipos de declaração -

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

Está claro até aqui.
Mas agora, o que é a vinculação de tipo dinâmico? (não a definição) Eu sei que isso significa que uma variável está associada a um 'tipo' durante o tempo de execução,

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

Qualquer informação adicional, como -

Por qu Ligação de tipo dinâmico? Em quais linguagens de programação está disponível como um recurs Quais são suas vantagens e desvantagens em relação à ligação de tipo estático?

Especificado através de uma declaração de atribuição

Você pode dar mais informações sobre isso. Deve ser especificado apenas com uma declaração de atribuição?