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

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

а вот опциональные аннотации типов — это штука вполне хорошая. в Strongtalk это сделали, получилось годно. но потом команду, увы, купили.