En esta clase arrancamos con el paradigma funcional, para el cual usaremos el lenguaje Haskell, y vimos los siguientes temas:

• Concepto de función
  • Cumplen con unicidad y existencia, esto nos permite asegurar que luego de aplicar una función obtendremos siempre un único valor.
  • Tienen transparencia referencial
  • Las variables son incógnitas como las de matemática, no pensarlas como posiciones de memoria, no se pueden asignar.
  • Su principal operación: la aplicación.
• Pattern Matching con tipos básicos
• Introducción a Tipado:
  • Tipos de datos simples (Int, Float, Bool, ...).
  • Entender de qué tipo son las funciones, en base al tipo de su dominio y de su imagen.
  • Tipos genéricos (variable de tipo) y noción de de Typeclass

• Valores y Funciones
  
• Práctica Valores y Funciones
• Introducción a Tipos de Datos
  
• Práctica de Inferencia de Tipos