Gracias por enviar su consulta! Uno de los miembros de nuestro equipo se pondrá en contacto con usted en breve.
Gracias por enviar su reserva! Uno de los miembros de nuestro equipo se pondrá en contacto con usted en breve.
Programa del Curso
Tipo BásicoClassopedia
- Funtor
- Aplicativa
- Plegable, transitable
- Mónadas
- Otros (Flecha, etc.)
Tipos avanzados
- Tipos de datos algebraicos en profundidad
- Clases de tipo avanzado
- Familias tipográficas
- GADT
Depuración y optimización de código
- Rigurosidad en los tipos de datos y funciones
- Generación de perfiles de memoria y CPU
- Estructuras de datos eficientes (bytestring, texto, vector y co.)
- Nota sobre "inseguros"
Descripción del sistema de tiempo de ejecución
- Diseño de memoria en GHC
- Desempaquetado de campos estrictos
- Comprensión y lectura de Core
Simultaneidad en Haskell
- Haskell hilos
- MVars y compañía.
- STM
- Paralelismo
Interfaz de función foránea
- Conceptos básicos de FFI
- Seguro vs. inseguro
- Globales en Haskell
Plantilla Haskell
- Empalmes y cotizaciones
- La mónada Q
- Reificación
Requerimientos
Conocimientos básicos del lenguaje de programación Haskell y algo de experiencia con Haskell programación.
14 Horas
Testimonios (1)
In genera; learning about the concept of Haskell and FP
