> А может проблема не в языках и компиляторах, а в том, что
> x86 просто неадекватна для реализации высокоуровневых ЯП?  В 70-х Xerox
> Alto с тактовой частотой 5,88 МГц и 128-256 Кбайт памяти поддерживал
> весьма продвинутую мультимедийную ОС с оконным интерфейсом и интерактивной средой разработки,
> которая была написана на объектно-ориентированном языке с поздним связыванием и динамической
> типизацией (Smalltalk, кто не слишком представляет, что это за язык, представьте
> себе ОС полностью на Ruby).  Здесь можно почитать, как это
> все разрабатывалось (и про аппаратную архитектуру): http://worrydream.com/EarlyHistoryOfSmalltalk/

По большому счёту, x86 — это только «внешняя» система команд. А как оно внутри там устроено, никто из присутствующих, скорее всего, не знает. Скорее всего, внутри современных x86-процессоров от x86 и следа не осталось.