> -- Цитата:
> Динамические типы вполне могут проверяться программно.
Могут-то могут, да возникают проблемы безопасности. Компонентным системам приходится работать в общем адресном пространстве, поэтому вредоносный код, внедренный в модуль, например, с помощью кодовой вставки, может обойти все программные проверки. Поэтому типизацию придется вынести на аппаратный уровень, так же как когда-то пришлось вводить в Intel защищенный режим.
> -- Цитата:
> Эльбрус E2K уже не самый современный процессор. E6K не слышали о таком?
Нет, не слышал. В область процессоров залезать не буду, прямо говорю - не знаток. Про аппаратную поддержку типизации и модульности слышал на конференции в МГУ, идея понравилась и показалась очень хорошей.
> -- Цитата:
> NET не является операционной системой.
NET является платформой выполнения, которая обеспечивает загрузку/выполнение/ран-тайм для приложений. Чем это принципиально отличается от ОС?

Нюансы конкретных ОС - это прекрасно и интересно, однако меня, как и любого, как занимающегся коммерческой разработкой, интересует в первую очередь возможность свободно переносить свой код на любую платформу, не заморачиваясь с его адаптацией под десятки конкретных API.