Escrevendo um compilador em Go

Introdução

O livro "Writing a Compiler in Go" é a segunda parte da famosa duologia de Thorsten Ball, dedicada à criação de um interpretador e um compilador para a linguagem Monkey. Se o primeiro livro ("Writing an Interpreter in Go") ensinava a construir um interpretador, este volume leva o leitor adiante — para a criação de um compilador completo, que gera bytecode, e sua própria máquina virtual (VM).

O livro foi lançado em 2019, tem 246 páginas e é voltado para programadores que dominam a linguagem Go (Golang). É ideal para quem deseja entender profundamente como funcionam compiladores, bytecode e máquinas virtuais, na prática.

Sobre o que é o livro

Thorsten Ball mostra, passo a passo, como transformar o interpretador do primeiro livro em um compilador. A ideia principal: em vez de executar a AST (árvore sintática abstrata) diretamente, nós a compilamos em instruções de bytecode e, em seguida, as executamos em uma máquina virtual.

O livro aborda os seguintes tópicos:

• Projeto de um sistema de instruções (opcodes) para bytecode.
• Implementação de um compilador que converte AST em uma sequência de bytecode.
• Criação de uma máquina virtual (VM) orientada a pilha.
• Manipulação de variáveis, funções, closures, arrays, hashes e funções embutidas.
• Otimização e depuração do compilador.
• Teste de cada etapa com testes unitários.

Para quem é este livro

O livro é voltado para desenvolvedores Go de nível intermediário e avançado, que já conhecem os fundamentos da linguagem e desejam se aprofundar em programação de sistemas. Também será útil para todos que se interessam por compiladores, máquinas virtuais e o funcionamento interno das linguagens de programação. Se você leu o primeiro livro, esta é uma continuação obrigatória. Caso contrário, o autor recomenda começar por ele, mas é possível iniciar por este, embora seja mais difícil.

O que o leitor aprenderá

• Como funciona a compilação de AST para bytecode. Você aprenderá a projetar um sistema de instruções e escrever código que gera bytecode a partir da árvore de análise.
• Como uma máquina virtual baseada em pilha é estruturada. Você implementará uma VM que executa bytecode, gerencia a pilha, chamadas de função e memória.
• Como lidar com closures. Um dos tópicos mais complexos — a captura de variáveis do contexto externo — é abordado em detalhes.
• Como testar o compilador e a VM. O autor dedica muita atenção aos testes, tornando o livro prático.
• Como depurar bytecode. Você aprenderá a gerar rastreamento e encontrar erros no compilador.

Pontos fortes

• Abordagem prática. Cada capítulo contém código que pode ser executado e modificado imediatamente. Você não apenas lê teoria, mas escreve um compilador real.
• Exposição passo a passo. O autor não sobrecarrega o leitor com conceitos complexos de uma só vez. Cada novo elemento é introduzido gradualmente, com exemplos e testes.
• Código Go limpo e compreensível. O código é escrito em um estilo próximo ao production-ready, com ênfase em legibilidade e modularidade.
• Mergulho profundo no assunto. Você aprenderá não apenas "como", mas também "porquê" — o autor explica as compensações e abordagens alternativas.
• Autossuficiência. O livro contém tudo o que é necessário: desde o design até a implementação final. Ao final, você terá um compilador e uma VM funcionais.

A quem é recomendado

O livro será útil para:

• Desenvolvedores Go que desejam ampliar seus horizontes e entender como as linguagens de programação funcionam internamente.
• Estudantes e professores de cursos de compiladores — como excelente material prático.
• Desenvolvedores de outras linguagens (Python, Java, C++) familiarizados com Go — os conceitos são universais.