Я разрабатываю вариант Smalltalk просто для удовольствия, и мне интересно, какой будет выбор для тех, кто использует stackoverflowers, когда дело доходит до нацеливания на бэкэнд. Это были мои текущие соображения:
.NET, JVM: Эти две виртуальные машины в основном предназначены для языков со статической типизацией, и я предполагаю, что было бы довольно сложно ориентироваться на такой динамический язык, как smalltalk.
Python (как исходный код): кажется, самый простой способ. Также было бы лучше, если бы я мог генерировать байт-код Python, но он недостаточно хорошо документирован, как AFAIK других виртуальных машин (для подробностей нужно копать исходный код Python!).
Самодельный переводчик: не может быть и речи: -)
LLVM, NekoVM, Parrot и другие варианты, которые я проверяю. Что бы вы взяли на это?