Lenguajes de programación 2019-1

¿Qué es un lenguaje de programación? ¿Cuáles son las diferencias entre un lenguaje de programación funcional y uno orientado a objetos? ¿Cómo saber si un lenguaje de programación es más poderoso que otro? ¿Por qué estudiar lenguajes de programación con tipos?

En este curso se estudian los fundamentos y el diseño de lenguajes de programación con tipos.

Cenobio Moisés Vázquez Reyes (spidermoy@ciencias.unam.mx)

Rafael de Jesús García García (rafaelg5@ciencias.unam.mx)

Magallanes Ramírez Diego Alberto (diego_magallanes@ciencias.unam.mx)

Temario:

• Programación funcional
• Paradigma imperativo
• Programación orientado a objetos
• Mónadas (extra)

Bibliografía:

• Las notas del Dr Favio Miranda.
• Turbak, F., & Gifford, D. (2008). Design concepts in programming languages. MIT press.
• Pierce, B. C., & Benjamin, C. (2002). Types and programming languages. MIT press.
• Mitchell, J. C. (2003). Concepts in programming languages. Cambridge University Press.

Evaluación:

• Teoría - 50%
• Laboratorio - 50%