Curso de Compilador Incremental: De Tiger para Assembly x86-64 em OCaml

Este é um curso de compilador altamente prático com o objetivo de construir um compilador que traduz a linguagem Tiger de alto nível para código de máquina x86-64. O curso usa OCaml e enfatiza o desenvolvimento orientado a testes, controle de versão e reuso de código. Ele emprega uma abordagem de desenvolvimento incremental e iterativo, expandindo gradualmente os recursos da linguagem e do compilador, aproveitando o estilo tagless-final para maior extensibilidade. O curso cobre tópicos padrão de compiladores, como análise, verificação de tipo, otimização e geração de assembly, mas de uma maneira não tradicional.