Programación Funcional
Curso 2012-2013EXAMEN
27 de Junio de 2013 a las 9:00 en el aula 3.10 del Aulario
Para la realización del examen se entregará, además del enunciado, una copia del documento Prelude.pdf
El software que usamos (Hugs) en clases y laboratorios es libre y se instala muy fácilmente.
Puedes descargarlo en http://cvs.haskell.org/Hugs/pages/downloading.htm
Las sesiones tanto de clase como de laboratorio tendrán lugar en el laboratorio E3
Horario: Jueves (J) de15:00 a 16:10 y de 16:15 a 17:25 y Viernes (V) de 15:00 a 16:10
La segunda sesión de las jueves (16:15 a 17:25) será normalmente dedicada a laboratorio
|
Sesión |
Contenido |
Documentos |
|
|
J 6-IX-2012 |
Tema 1.- Programación Funcional |
||
|
Laboratorio 1 |
Dibujos.hs | ||
|
V 7-IX-2012 |
Tema 2.- Tipos y clases |
||
|
J 13-IX-2012 |
Tema 3.- Funciones y operadores |
||
|
Laboratorio 2 |
|||
| V 14-IX-2012 | finalización del Tema 3 y del Laboratorio 2 | ||
| J 27-IX-2012 |
Tema 4.- Clases Básicas, Instancias y Tipos Básicos |
||
| Laboratorio 3 | |||
| V 28-IX-2012 | finalización del Tema 4 y del Laboratorio 3 | ||
| J 4-X-2012 |
Tema 5.- Tuplas Tema 6.- Definición de Funciones |
||
| Laboratorio 4 | |||
| V 5-X-2012 | Tema 6.- Definición de Funciones | ||
| J 11-X-2012 | finalización del Laboratorio 4 | ||
| finalización del Laboratorio 4 | |||
| J 18-X-2012 | (finalización del Tema 6) + Tema 7.- Listas y Strings | ||
| 1er Laboratorio dedicado al trabajo práctico a entregar | TeDiLog.hs TeDiLog.pdf | ||
| V 19-X-2012 | Tema 7.- Listas y Strings | ||
| L(J) 29-X-2012 | Tema 7.- Listas y Strings | ||
| 2º Laboratorio dedicado al trabajo práctico a entregar | TeDiLog-Model-Checking.pdf | ||
| M(V) 30-X-2012 | Tema 7.- Listas y Strings | ||
| J 8-XI-2012 | Tema 7.- Listas y Strings | ||
| 3º Laboratorio dedicado al trabajo práctico a entregar | |||
| V 9-XI-2012 | finalización del Tema 7 + Tema 8.- Tipos Algebraicos | ||
| J 15-XI-2012 | Tema 8.- Tipos Algebraicos | ||
| 4º Laboratorio dedicado al trabajo práctico a entregar | |||
| V 16-XI-2012 | finalización del Tema 8 + Ejercicios con Tipos Algebraicos | ||
| J 22-XI-2012 | Ejercicios con Tipos Algebraicos | ||
| 5º Laboratorio dedicado al trabajo práctico a entregar |
|
||
| V 23-XI-2012 | Tema 9.- Acciones de entrada/salida | ||
| J 29-XI-2012 | finalización del Tema 9 + Ejercicios con Acciones IO | Ejercicios con Acciones IO | |
| 6º Laboratorio dedicado al trabajo práctico a entregar | |||
| V 30-XI-2012 | Tema 10.- Estructuras infinitas y cíclicas | ||
| X(V) 5-XII-2012 | finalización del Tema 10 + Ejercicios | ||
| J 13-XII-2012 | 7º Laboratorio dedicado al trabajo práctico a entregar | ||
| 8º Laboratorio dedicado al trabajo práctico a entregar | |||
| V 14-XII-2012 | 9º Laboratorio dedicado al trabajo práctico a entregar | ||
Exámenes
Algunos Enlaces Interesantes
Una clase (en inglés) de introducción a la Programación Funcional en Haskell
A Hystory of Haskell: Being Lazy With Class
Functional Programming in the Real World
TTM: Un demostrador de teoremas implementado en Haskell en la UPV/EHU