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

Что именно? Где посмотреть? Просто если они на форт-подобную машину спортировали Scheme, то может какое-то подобие руби-питона-луа туда тоже
спортируется, а для скриптинга оно более человечное, нежели лисп-подобие...

Просто у меня сейчас затык, как организовать локальные переменные, имея 128 байт стека (ну в крайнем случае стек можно расширить за счет хипа, конечно),
не имея произвольного доступа к индексным регистрам стека, а форт-машина, понятное дело перестанет ей быть, если даст возможность коду рулить
указателями стека. Доступ к хипу достаточно дорогой, то есть устраивать "софтварный" (реализованный на самом форте) стек для локальных переменных
очень не хочется (хотя и можно)


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

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

Звучит не очень прикольно, и, насколько я понимаю, JavaCard — не опенсорц, то есть подкрутить компайлер если что — нельзя?