По сути из нестрогой типизации в большинстве программ обычно используется только возможность вернуть None/Null/Undef вместо подходящего значения.

Есть, кончено, более сложные случаи, но для них в строго типизированном языке можно предусмотреть отдельный класс Object, от которого наследовались бы все остальные типы. В этом случае в программе в 90% случаев можно было бы использовать типизированный подход, а в остальных 10% случаев, когда это явно необходимо - не типизированный.

Почему-то все языки сейчас стремятся стать мультипарадигменными, поддерживая и процедурное, и объектное, и функциональное программирование, но что-то я не замечаю языков, которые бы стремились стать языками со смешанной типизацией.