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 (1)

Próximas Formações Provisórias

Categorias Relacionadas