Здравствуйте, lpd, Вы писали:

lpd>Типизацей управляет язык программирования и компилятор

Типизация сильно облегчает задачу оптимизации, так как содержит дополнительную информацию о коде.

lpd>Пользы от переносимости немного, т.к. распространенных (в нужных в каждом случае областях) архитектур процессоров немного.

Телега впереди лошади. Их потому и немного, что переносить тяжело.

lpd> Как и вообще мало пользы от разных несовместимых архитектур процессоров

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