> вы похоже путаете что такое динамическая типизация

Может, и путаю, гуглить лень. Динамическая - это, вроде, когда тип задаётся в момент присваивания, а не в момент описания, нет?

> это вот такое
> a = 5 + "5"
> внимание вопрос! какого типа a ? и что за ёжоуж будет внутри?

Да мне какбе пофигу. Будет число или строка - в зависимости от правил, принятых в данном конкретном языке. Я на это смотрю сугубо с практической точки зрения. Мне ведь нужно работать, допустим, арифметику считать, а не ставить эксперименты, что будет, если сложить число со строкой. И вот для того, чтобы считать арифметику, мне тип редко когда нужен. В нём может возникнуть необходимость только во время ввода/вывода.

>> помнить, какого размера у нас int, чтобы не получилось переполнения, и
>> сколько места выделять под стэк, чтобы пережить рекурсию...
> а это как с динамической типизацией вообще связано???

Напрямую не связано, согласен. Но у кого чего болит :) Я это к тому, что в языках высокого уровня о таких вещах вообще знать не принято.