PFH: Definiciones por recursión en Haskell (Parte 1 de 2)

He añadido a la lista Programación funcional con Haskell el vídeo Definiciones por recursión en Haskell (Parte 1 de 2) en el que se e,pieza el estudio de las definiciones por recursión en Haskell. Concretamente, hemos visto ejemplos de

  • recursión sobre los números naturales y
  • recursión sobre listas.

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.

PFH: Definiciones por comprensión en Haskell

He añadido a la lista Programación funcional con Haskell el vídeo Definiciones de listas por comprensión en Haskell en el que se estudia cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:

  • listas con un generador,
  • listas con varios generadores,
  • listas con generadores dependientes y
  • listas con guardas,
  • listas de comprensión con emparejamientos.

También se han estudiados las cadenas como caso particular de listas y cómo aplicar definiciones por comprensión a cadenas.

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.

PFH: Tipos y clases en Haskell

He añadido a la lista Programación funcional con Haskell el vídeo Tipos y clases en Haskell en el que se presenta una introducción a los tipos y clases de tipos en Haskell. Los objetivos de tema son aprender

  • qué es un tipo,
  • cómo expresar que una expresión tiene un tipo determinado,
  • cómo preguntar a Haskell por el tipo de una expresión,
  • cómo determinar el tipo de una expresión,
  • cuáles son los tipos básicos (Bool, Char, String, Int, Integer, Float y Double),
  • cuáles son los tipos compuestos (listas, tuplas y funciones),
  • qué es el polimorfismo y la sobrecarga de funciones y
  • cuáles son las clases básicas (Eq, Ord, Show, Read, Num, Integral y Fractional), sus métodos e instancias.

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.