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

C>>Scheme?
V>Хотелось бы для начала увидеть компиляцию Scheme во что-нибудь вообще. Честно говоря, не слишком представляю как устроен лисп — он
V>точно нормально ляжет на двухстековую машину? Или придется писать какой-то менеджер хипа для работы со списками, а стек данных
V>будет просто простаивать?
У NASA это вроде получалось

C>>JVM можно не всю реализовывать. Посмотри на http://en.wikipedia.org/wiki/Java_Card — оно очень близко.
V>Вроде смотрел, посмотрю еще раз. Если JVM реализовать не всю, но как быть с консистентностью компилятора и VM? Как ее хотя бы проверять при компиляции?
Есть верификаторы того, что в байт-коде ничего левого не будет.

V>Свой компилятор писать не хочется, а если уж его писать, то уж не джаву точно.
Компилятор используется стандартный, просто нужно определённых конструкций избегать будет.