Uma Máquina Virtual de Bytecode Rápida para Aritmética (Parte 2): Compilador e Descompilador em Haskell

Esta postagem, a segunda de uma série, detalha um compilador e um descompilador para uma máquina virtual de bytecode rápida para expressões aritméticas em Haskell. Ela explica por que o bytecode é mais rápido do que a interpretação AST, projeta uma máquina virtual de bytecode baseada em pilha e descreve instruções de bytecode para nós AST Num, BinOp, Var e Let. O compilador usa arrays de bytes pré-alocados e manipulação de ponteiros para desempenho, com tratamento de erros robusto. Benchmarks de desempenho comparando várias estruturas de dados e fluxo de controle são apresentados. Finalmente, um descompilador é implementado para auxiliar na depuração e teste.