Este es el sitio de la materia Técnicas de Construcción de Lenguajes.
La idea principal es la de brindar un mejor panorama teórico y práctico al alumnado para que pueda desarrollar sus propios lenguajes de dominio específico o de proósito general. La materia aborda temas sobre las distintas fase de compilacion: parseo, análisis semántico, JIT, compilación. Adicionalmente se dan nociones un poco más profundas sobre teoría de tipos y máquinas virtuales. Estos temas son complementarios y son herramientas adicionales que pueden ayudar al alumno a que pueda comprender el entorno de ejecución de los lenguajes de programación modernos y de como diseñar lenguajes con tipado estático.
La intención es darlo en los siguientes lenguajes: Scala, Ocaml y Haskell. Esta materia tiene mucho contenido, y que en principio trata de profundizar conceptos vistos previamente en materias anteriores, pero seguramente le sirva al que este interesado en aprender un poco más sobre el diseño de los lenguajes de programación.