I1M2012: Definición de tipos de datos en Haskell

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la definición de nuevos tipos de datos y de funciones sobre dichos tipos. Concretamente, se ha estudiado

  • cómo definir tipos usando type,
  • cómo definir funciones con dominio o rango en tipos definidos usando type,
  • cómo definir tipos usando data,
  • cómo definir funciones con dominio o rango en tipos definidos usando data y
  • cómo definir tipos de datos recursivos usando como ejemplo los naturales y las listas.

Las transparencias usadas en la clase son las páginas 1 a 17 del tema 9:

LMF2013: Revisión de la programación con Haskell

En la clase del miércoles y en la de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha realizado una revisión de la programación funcional con Haskell, recordando los conceptos necesarios para la implementación de los algoritmos lógicos del curso.

Como ejercicios se propuso la siguiente relación
Read More “LMF2013: Revisión de la programación con Haskell”