Paradigma funcional

Introducción

Este paradigma se basa en un conjunto de funciones (relaciones que cumplen las propiedades de unicidad y existencia), que pueden ser evaluadas para obtener un resultado. El paradigma funcional está basado en conceptos que vienen de la matemática, entonces algunas cosas (p.ej. notaciones en el lenguaje) están sacadas de lo que aprendimos en Análisis I / Álgebra / Discreta.

Conceptos generales

• Concepto de función
• Aplicación
• Pattern Matching en Haskell
• Composición
• Aplicación Parcial
• Orden Superior
• Currificación
• Inmutabilidad
• Funciones por Partes
• Lazy Evaluation
• Recursividad en Haskell

Tipos

• Tipos de Haskell
• Typeclasses
• Inferencia de tipos
• Polimorfismo paramétrico y ad-hoc
• Notación point-free: Cuántos parámetros espera una función?
• Data: Definiendo nuestros tipos en Haskell

Extras simpáticos

• Definiciones locales (where)
• Expresiones lambda
• Listas por comprensión

Errores comunes

• Errores comunes al comenzar a trabajar con Haskell
• Cuándo usar paréntesis
• Problemas comunes con los tipos numéricos de Haskell <- Entrá acá si tenés problemas con la división (/)
• ¿Unexpected ‘;’?
• possibly incorrect indentation or mismatched brackets
• Hugs.Trex.insertField not in scope
• cannot construct the infinite type
• Tips para aprobar un parcial de funcional

Para aprender más sobre el lenguaje Haskell

• Learn You a Haskell for Great Good! (Acá en español)
• Todo lo que ud deseaba saber de Haskell y más (Por Stephen Diehl)
• Wiki
• Funciones que trae por defecto (Prelude)

Problemas complejos y cosas locas

Acá hay algunas cosas interesantes que escapan al nivel de funcional que se espera que aprendan para Paradigmas, si te interesa profundizar en el tema es muy interesante!

• Mónadas, Monadas, y Functores en Haskell: Functors, Applicatives, And Monads In Pictures