CARRERAS
Licenciatura en Informática-
Contenidos Mínimos
Nociones generales del paradigma funcional. Valores y expresiones. Las funciones como valores. Sintaxis. Sistema de Tipos Hindley-Milner. Tipos básicos. Constructores de tipos. Polimorfismo. Funciones de alto orden. Currificación. Inducción/Recursión. Definición inductiva de conjuntos. Definición recursiva de funciones sobre esos conjuntos. Demostraciones inductivas. Inducción estructural. Listas como tipo inductivo. Funciones básicas y de alto orden sobre listas. Patrón de recorrido, selección y recursión. Sistemas de Tipos. Ventajas y limitaciones de los lenguajes de programación con tipos. Asignación de tipos a expresiones. Algoritmo de inferencia. Tipos de datos recursivos. Transformación de Programas. Obtención de programas a partir de especificaciones.
