Un producto de código abierto de más de veinte años de investigación de vanguardia, permite un rápido desarrollo de software sólido, conciso y correcto.

La programación funcional es un paradigma de programación de computadoras que se basa en funciones modeladas en funciones matemáticas. La esencia de la programación funcional es que los programas son una combinación de expresiones. Las expresiones incluyen valores concretos, variables y también funciones. Las funciones tienen una definición más específica: son expresiones que se aplican a un argumento o entrada, y una vez aplicadas, se pueden reducir o evaluar. En Haskell, y en la programación funcional de manera más general, las funciones son de primera clase: pueden usarse como valores o pasarse como argumentos o entradas a más funciones.

En este entrenamiento te ofrecemos comprender de manera directa este paradigma, gracias esto podrás entender el poder oculto de otros lenguajes de programación, inclusive el que estás usando en este momento, no obstante, podrás ser capaz de resolver problemas con otro enfoque, tener opciones al momento de diseñar la solución a problemas de software y adoptar nuevos lenguajes de programación que están basados en ML.

· A quien va dirigido:

Este entrenamiento es recomendado para desarrolladores:

• Programadores que quieren conocer otro paradigma de programación
• Desarrolladores que quieren llevar su carrera a un nuevo nivel
• Programadores que están pensando en adoptar otro lenguaje de programación fuertemente tipado
• Personas que quieren conocer el poder del cálculo Lambda

· Pre-requisitos:

Necesarios:

• Manejo de un editor de textos
• Tenga experiencia previa en cualquier lenguaje de programación

Recomendables:

• Conozca más de un lenguaje de programación
• Tener experiencia en más de un paradigma de programación

---

· Contenido del entrenamiento:

• Introducción al cálculo Lambda
• Introducción a Haskell
• Strings
• Tipos de datos básicos
• Tipos
• Clases tipo
• Patrones funcionales
• Recursión
• Listas
• Manejo de listas
• Tipos de datos algebraicos
• Construcción de proyectos(Stack)
• Testing
• Semigrupo monoide
• Functor
• Aplicativo
• Monada
• Foldable y Traveersable
• Reader
• State
• Parser Combinators
• Tipos compuestos
• Bibliotecas básicas
• IO