CC4101 — Lenguajes de Programación
Bienvenido a las notas del curso CC4101 — Lenguajes de Programación.
Este libro cubre los fundamentos semánticos de los lenguajes de programación mediante la construcción incremental de intérpretes en Racket. El enfoque es práctico: cada concepto se introduce extendiendo un lenguaje base con nuevas características, implementando su semántica en un intérprete ejecutable.
Estructura del libro
El libro sigue la progresión del curso, organizado en seis unidades:
-
Introducción y Racket — Motivación, paradigma funcional, programación en Racket.
-
Construcción de intérpretes — Gramáticas, parsers, intérpretes de expresiones aritméticas, identificadores locales, sustitución.
-
Funciones — Funciones de primer orden, funciones de primera clase, clausuras, alcance estático y dinámico.
-
Estrategias de evaluación — Evaluación temprana vs. perezosa, Haskell, estructuras infinitas, call-by-name/need/value.
-
Recursión y mutación — Datos cíclicos, ambientes cíclicos, recursión por la cola, mutación, store-passing.
-
Metaprogramación y orientación a objetos — Macros e higiene, DSLs, representación procedural de objetos, self, delegación, clases como macros y herencia.
Cada capítulo incluye las definiciones formales, el código del intérprete correspondiente, y ejercicios propuestos.