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


Comienza

Termina


Dates are subject to availability and take place between 09:30 and 16:30.
Los cursos de formación abiertos requieren más de 5 participantes.

Testimonios (4)

Cursos Relacionados

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

Categorías Relacionadas