Programa do Curso

Tipo Básicoclassopédia

  • Funtor
  • Aplicativo
  • Dobrável, Atravessável
  • Mônadas
  • Outros (seta, etc.)

Tipos avançados

  • Tipos de dados algébricos em profundidade
  • Aulas de tipo avançado
  • Digite famílias
  • GADTs

Depuração e otimização de código

  • Rigor nos tipos de dados e funções
  • Perfil de memória e CPU
  • Estruturas de dados eficientes (bytestring, texto, vetor e co.)
  • Nota sobre "inseguros"

Compreendendo o sistema de tempo de execução

  • Layout de memória no GHC
  • Descompactando campos restritos
  • Compreendendo e lendo o Núcleo

Simultaneidade em Haskell

  • Haskell tópicos
  • MVars e companhia.
  • STM
  • Paralelismo

Interface de Função Estrangeira

  • Noções básicas de FFI
  • Seguro versus inseguro
  • Globais em Haskell

Modelo Haskell

  • Emenda e cotação
  • A mônada Q
  • Reificação

Requisitos

Conhecimentos básicos da linguagem de programação Haskell e alguma experiência em programação Haskell.

  14 horas

Número de participantes



Preço por participante

Declaração de Clientes (4)

Cursos Relacionados

Combined C/C++, JAVA and Web Application Security

  28 horas

Advanced Java Security

  21 horas

Combined JAVA, PHP and Web Application Security

  28 horas

Standard Java Security

  14 horas

Java and Web Application Security

  21 horas

Advanced Java, JEE and Web Application Security

  28 horas

Categorias Relacionadas