Programación Funcional
Curso 2012-2013

Paqui Lucio
Departamento de Lenguajes y Sistemas Informáticos
Universidad del País Vasco
 

EXAMEN

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

  Tema 1

   Laboratorio 1

  Guión Lab 1   

  Solución Lab 1 

Dibujos.hs

 V 7-IX-2012

   Tema 2.- Tipos y clases

  Tema 2

 J 13-IX-2012

   Tema 3.- Funciones y operadores

  Tema 3

   Laboratorio  2

  Guión Lab 2

  Solución Lab 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

  Tema 4

    Laboratorio  3

  Guión Lab 3

  Solución Lab 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

  Tema 5

  Tema 6

    Laboratorio  4

  Guión Lab 4

  Solución Lab 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

  Tema 7

    1er Laboratorio dedicado al trabajo práctico a entregar TeDiLog.hs      TeDiLog.pdf

system.txt

V 19-X-2012    Tema 7.- Listas y Strings

  Prelude.pdf

 
 L(J) 29-X-2012    Tema 7.- Listas y Strings

  Ejercicios con Listas

    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

 Tema 8

 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

  Ejercicios con Tipos Algebr.

 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

  Tema 9

 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

   Tema 10

 X(V) 5-XII-2012    finalización del Tema 10 + Ejercicios

   Ejercicios del Tema 10

 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

  Entrega de la Práctica

                                                                                             

Exámenes 
Febrero 2007: 	Enunciado    	Solución
Junio 2007: 	Enunciado    	Solución
Febrero 2008: 	Enunciado    	Solución
Junio 2008:  	Enunciado    	Solución
Febrero 2009: 	Enunciado    	Solución
Junio 2009: 	Enunciado    	Solución
Febrero 2010: 	Enunciado    	Solución
Junio 2010: 	Enunciado    	Solución
Enero 2011: 	Enunciado    	Solución
Enero 2012:  	Enunciado     	Solución 

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