> По сути из нестрогой типизации в большинстве программ обычно используется только возможность
> вернуть None/Null/Undef вместо подходящего значения.
> Есть, кончено, более сложные случаи, но для них в строго типизированном языке
> можно предусмотреть отдельный класс Object, от которого наследовались бы все остальные
> типы. В этом случае в программе в 90% случаев можно было
> бы использовать типизированный подход, а в остальных 10% случаев, когда это
> явно необходимо - не типизированный.
> Почему-то все языки сейчас стремятся стать мультипарадигменными, поддерживая и процедурное,
> и объектное, и функциональное программирование, но что-то я не замечаю языков,
> которые бы стремились стать языками со смешанной типизацией.

RTTI уже давно придумали