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

Número de participantes



Precio por participante

Testimonios (5)

Cursos Relacionados

Fundamentos de Haskell

14 horas

Introduction to Programming

35 horas

Código limpio

14 horas

Programación de Red Linux

14 horas

Java Advanced

28 horas

Continuous Integration (CI) for Java

14 horas

Combinado C / C ++, JAVA y Seguridad de Aplicaciones Web

28 horas

Seguridad Java Avanzada

21 horas

Combinado JAVA, PHP y Seguridad de Aplicaciones Web

28 horas

Seguridad Java Estándar

14 horas

Seguridad de Aplicaciones Java y Web

21 horas

Avanzado Java, JEE y Seguridad de Aplicaciones Web

28 horas

Comenzando con Eclipse IDE para Java

7 horas

Gosu Programming

7 horas

Developing in Java Programming for OO Developers

28 horas

Categorías Relacionadas

1