Programación Declarativa 2015

Ingenieria en Informática, Universidad Blas Pascal.

Profesores:

• Guillaume Hoffmann guillaumh@gmail.com
• Carlos Bartó

Horarios:

• martes 17hs-20hs15
• miércoles 20hs30-22hs

Programa y apuntes

Los ejercicios se hacen en archivos con extensión .hs.

• Clase introductiva
• Martes 11/8:
  • Teórico : week 1
  • Ejercicios 1 a 5
• Miércoles 12/8:
  • Ejercicio 6 (Hanoi)
  • Teórico : week 2
  • Ejercicios extra con Hanoi + ADT
• Martes 18/8:
  • Teórico : week 2
  • Ejercicios (+ bajar Log.hs, sample.log y error.log )
    • Primero buscar y probar en ghci las funciones: lines, words y unwords, elem, take, drop
    • Para el uso de la función read, ver Aprende Haskell, capitulo 3
• Miércoles 19/8:
  • Fin de los ejercicios (hasta whatWentWrong)
  • Como leer el tipo de una función.
  • Probar funciones fst, snd, all, any, map, filter.
  • Ejercicio extra: dar una definición alternativa de whatWentWrong usando map y filter
  • Leer los capitulos de "Aprende Haskell":
    • La sintaxis de las funciones
    • Recursión (salvo quicksort)
• Martes 25/9:
  • Capítulo "Funciones de orden superior"
  • Teórico : week 3 y 4
  • Ejercicios
• Miércoles 26/9: Parcial 1
• Septiembre: Programación Lógica con Carlos Bartó
• Martes y miércoles 6-7/10:
  • Funciones de orden superior (repaso map, filter...)
  • Uso de clases de tipos definidas en Haskell
  • Teórico : week 3 y 4
  • Teórico: Aprende Haskell, Tipos y Clases de Tipos
  • Ejercicios
  • Teórico semana 5: gran repaso
  • lectura: capítulos 4, 5 y 6 de Aprende haskell
• Martes y miércoles 13-14/10:
  • Ejercicios
  • Entrada y Salida
  • Módulos
• Martes y miércoles 20-21/10:
  • listas intensionales
  • cabal init
  • Ejercicios
• Martes y miércoles 27-28/10:
  • Definiendo nuestros Tipos Algebraicos de Datos (TAD)
  • quickcheck
  • cabal test
  • Ejercicios
  • Más lectura:
    • Teórico QuickCheck
    • Práctico QuickCheck (en castellano)
• Martes 3/11:
  • Laziness
  • Ejercicios: Fibonacci
    • el ejercicio 4 es facultativo pero pueden leer la sección relevante de Aprende Haskell acerca de la clase Functor
    • usar este módulo
    • los ejercicios 8 y 9 son facultativos pero útiles para saber hacer profiling de un programa Haskell (útil para el proyecto pero no para el parcial)
    • el ejercicio 10 es facultativo
  • Para leer en casa: Leaking Space
• Miércoles 4/11:
  • IO
  • Mónadas 1 (inglés)
    • Más lectura Mónadas 2 (castellano)
  • Seguir con los ejercicios de ayer
• Martes 10/11:
  • Ejercicios
• Miércoles 11/11: parcial #4
• Martes 17/11: recuperatorio parcial #4

Proyecto final

La evaluación final se hace por un proyecto final en Haskell.

Referencias y fuentes

• Apuntes de Brent Yorgey (inglés)
• Aprende Haskell por el bien de todos!
• Machete Haskell (PDF)

Instalación del entorno Haskell

• "minghc" (The Minimum GHC Installer) para Windows
• Haskell Platform

Herramientas

• Hoogle
• EclipseFP

Arreglar el problema de apt-get en lab5

Ingresar los comandos siguientes como administrador:

$ su
# apt-get clean
# cd /var/lib/apt
# mv lists lists.old
# mkdir -p lists/partial
# apt-get clean
# apt-get update