Curso de Compilador Incremental: De Tiger a Ensamblador x86-64 en OCaml
2025-04-05
Este es un curso de compilador altamente práctico cuyo objetivo es construir un compilador que traduce el lenguaje de alto nivel Tiger a código de máquina x86-64. El curso utiliza OCaml y enfatiza el desarrollo impulsado por pruebas, el control de versiones y la reutilización de código. Emplea un enfoque de desarrollo incremental e iterativo, expandiendo gradualmente las funciones del lenguaje y del compilador, aprovechando el estilo tagless-final para una mayor extensibilidad. El curso cubre temas estándar de compiladores, como el análisis, la verificación de tipos, la optimización y la generación de ensamblador, pero de una manera no tradicional.
Desarrollo
desarrollo incremental