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

K>Исходник слишком высокоуровневый для эффективного переноса.
Wut?

K> Да ещё и язык чрезмерно сложный.
Допустим возьмём С. Куда уже проще?

K> Собственно отсюда и родилась концепция HAL, на которой построены все современные ОС.
HAL это Hardware Abstraction Layer
Родилась она как идея обеспечить одинаковый базовый API для работы ядра под разным железом.

K> Если стандартизировать байт-код из относительно небольшого набора команд, то над ним можно надстроить легко переносимый код.
Можно, но при этом довольно сильно потеряв в эффективности этого кода.
Тыж понимаешь, и на brainfuck можно писать программы. Вот только сначала придётся сложные конструкции разбить на туеву хучу простых а потом эти простые собрать обратно в сложные.

K> Вопрос упирается только в наличие эффективного jit/ngen
Jit сразу идёт в лес просто потому что у него банально нет времени и ресурсов генерировать эффективный код.
ngen в это же ничем не лучше компилятора, вот только пространство для манёвра у него хуже, потому что он видит простые команды, тогда как должно быть что то типа AST. Но если заморачиваться с AST то почему бы не взять тогда сразу сурсы и использовать готовые компиляторы?

K> собственно UWP как раз и построена на этой идее — когда разработчики сабмитят байт-код в стор, а пользователям доставляются уже "нативизированные" сборки под его конкретную платформу.
Ну, посмотрим что из этого получится. Мне что то кажется что не взлетит.