Clase 2 - Introducción a Funcional

publicado a la‎(s)‎ 19 abr. 2020 16:13 por Mariana Matos

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
También se puede ampliar con el Módulo 1 de funcional (todo menos guardas) y en la sección "Clasificando tipos" del Módulo 7 se explica más sobre Typeclasses (obviar los tipos compuestos, tuplas y listas, que todavía no vimos).

Video de la clase:

Clase 02 - Intro a Funcional


Para ejercitar en Mumuki

Además de los ejercicios del TP1 que están disponibles en la Guía de TPs de Funcional, pueden profundizar los temas vistos con las guías:
  • Valores y Funciones
  • Práctica Valores y Funciones
  • Introducción a Tipos de Datos
  • Práctica de Inferencia de Tipos
Nota: todavía no vimos composición, vale saltear los ejercicios que requieran haber visto ese tema.
Comments