LDP

Lenguajes de Programación
Manuel Soto Romero
Actualizado al: 22 de septiembre de 2025

🌿 Descripción

Este curso explora la teoría de lenguajes de programación desde una perspectiva formal y crítica, abordando los fundamentos que permiten diseñar, analizar y comparar distintos lenguajes de programación. Más allá de aprender nuevos lenguajes, el objetivo es comprender cómo funcionan internamente, cómo representan el cómputo y cómo se relacionan con modelos matemáticos.

A lo largo del semestre se estudiarán los principales estilos de programación (funcional, estructurado y orientado a objetos) mediante el análisis del Cálculo λ, estrategias de evaluación, ambientes de ejecución, manejo de estado, verificación de tipos y diseño de sistemas de tipos seguros. Las actividades teóricas estarán acompañadas de ejercicios prácticos en Haskell, fomentando una comprensión profunda y aplicada.

📚 Contenido

#	Tema	Recursos
1. Introducción
1.1	Historia de los Lenguajes de Programación	🧮 Cuestionario 💡 Actividad complementaria 📊 Infografía
1.2	Componentes de los Lenguajes de Programación	🧮 Cuestionario 💡 Actividad complementaria 🍉 Sintaxis, semántica, pragmática
1.3	Clasificación de los Lenguajes de Programación	🧮 Cuestionario 💡 Actividad complementaria 📊 Infografía
2. Especificación formal de los Lenguajes de Programación
2.1	Sintaxis concreta	🧮 Cuestionario 💡 Actividad complementaria
2.2	Sintaxis abstracta	🧮 Cuestionario 💡 Actividad complementaria
2.3	Semántica dinámica	🎯 Implementación 01: MiniLisp v1
2.4	Semántica estática
2.5	Expresiones let	🎯 Implementación 02: MiniLisp v2
3. Estilo funcional
3.1	El Cálculo λ como núcleo para funciones