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