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.
Testimonios (5)
Empujando los cambios de forma regular, ya que el día 3 comencé a perderme más que antes y era más difícil detectar un error rápidamente, pude verificar rápidamente el último cambio y estar al día con el material
Paulina
Curso - Advanced Java Security
Traducción Automática
Una gran cantidad de conocimientos prácticos que se muestran en ejemplos de la "vida real".
Kamil - Streamsoft Kraków
Curso - Java Advanced
Traducción Automática
The flexibility to handle cases I was interested in. Very helpful!
Paul Lopez - Student
Curso - Haskell Fundamentals
The teacher addressed many relevant topics for clean coding with practical examples.
Ben van Oeveren - Movella
Curso - Clean Code
Very good knowledge and character.