Ну я предлагал вариант - Forth

Недостаток - все надо делать с нуля. Т.е., вообще все, вплоть до менеджеров памяти и объектной модели. Как и на Fasm-е...
Преимущества, в отличие от Fasm-а - язык времени компиляции совпадает с целевым. Т.е., написано слово, означающее метод некого класса - так это не факт, что это будет обязательно CALL. Будет то, что написал автор элемента. Вплоть до обращения в сеть за секретной информацией, нужной для компиляции.
Кроссплатформенность... Определенная часть (заранее обозначенная) лексики, естественно, зависит и от машины, и от оси. Без этого невозможно в принципе. Все остальное (т.н. надстройка) - независимо. Заменил эту "определенную часть" - и вся проблема на этом кончилась.
Ну и + преимущества Fasm-а: бесплатность, вес, и т.п..

Есть и некое виртуальное преимущество - любая проблема в нем может быть преодолена эволюционным путем. Через 10 лет может, правда, получиться нечто вообще непохожее на сегодняшний Forth (например, в 100 раз лучшее), но это будет сделано эволюционно