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


V>Forth, при всех своих достоинствах, язык несколько жутковатый, к тому же его подход заставляет решать множество проблем,
V>которые в нормальной жизни обычно не возникают. Грубо говоря, бывают языки, которые стремятся сократить побочные эффекты,
V>а бывают языки, которые строятся из побочных эффектов (это про форт). Соответственно, в следующем поколении устройств
V>хочется переехать с форта на что нибудь еще.

Может проще поднатужится и нормально разобратся с фортом?
То есть сделать нормальный DSL на форте и использовать только его для прикладного кодирования.

V>То есть, что хотелось бы иметь в идеале: язык, компилятор с него в байткоды (компактность не хуже форта) и четкая спецификация виртуальной машины, которую надо реализовать, что бы эти байткоды исполнять. Управление памятью должно быть за счет компилятора (что вполне возможно, кмк)

У Ocaml'а достаточно несложный и компактный байт код, но боюсь у вас жестковаты ограничения.
http://pauillac.inria.fr/~lebotlan/docaml_html/english/index.html

V>В качестве программы-минимума, хотя бы какой-нибудь неплохой язык и парсер его в AST, но отдельно стоящий, т.е. что бы не приходилось выдирать его из LUA,

Тут http://www.cminusminus.org/code.html#luaml есть старенькая версия lua, с ast и раздельной компиляцией.

Из скриптов еще есть более компактный чем lua Squirrel http://squirrel-lang.org/default.aspx