Дизайн байт-кода?

Не создавайте свой байт-код , в этом нет необходимости!

Я бы порекомендовал изучить LLVM и GNU Lightning , которые делают много тяжелой работы для вас и просто требуйте, чтобы вы создали подобную AST схему для перевода после того, как вы аннотировали вещи, разрешили область видимости и т. д.

Книга дракона также включает некоторые разделы по байт-коду. Искусство компьютерного программирования также может помочь, поскольку язык Mix содержит некоторые (устаревшие), но важные дизайнерские решения.

На самом деле, ваш промежуточный код должен быть:

1. Что-то, что вы написали, чтобы быть эффективным промежуточная форма, которая позволяет использовать популярные алгоритмы оптимизации и перевод на серверную часть без потери семантики из-за плохого перевода и тому подобного:
2. Хорошо известный и используемый IR, который вы можете использовать другие инструменты для преобразования в машинный код. Даже если вы используете настройку .NET / Mono в качестве IR, тогда, если она соответствует вашим потребностям, отлично.

Все зависит от ваших требований, не создавайте свой собственный IR / байт-код, если вам не нужно. Если подходит что-то еще, используйте это! Вам не нужно его поддерживать!

Вы можете просмотрите список инструкций байт-кода Python и используйте модуль dis , чтобы увидеть, какие байт-коды генерируются для простых программ.

См. how-many-places-are -optimized-in-pythons-bytecodeversion-2-5 для обсуждения оптимизации байт-кода.

Возможно, вам будет полезно просмотреть статью в Википедии о байт-коде http://en.wikipedia.org/wiki/Bytecode "и проследить некоторые ссылки на языки возраста и стиля, которые вас интересуют.