Schița de curs

Tipul de bazăclassopedia

  • Functor
  • Aplicativ
  • Pliabil, Traversabil
  • Monade
  • Altele (Săgeată etc.)

Tipuri avansate

  • Tipuri de date algebrice în profunzime
  • Clasele de tip avansat
  • Familii de tip
  • GADT-uri

Depanare și optimizare a codului

  • Rigurozitate în tipurile și funcțiile de date
  • Profilare memorie și CPU
  • Structuri eficiente de date (bytestring, text, vector și co.)
  • Notă despre „nesigure”

Înțelegerea sistemului Runtime

  • Dispunerea memoriei în GHC
  • Despachetarea câmpurilor stricte
  • Înțelegerea și citirea Core

Concurență în Haskell

  • Haskell fire
  • MBars și co.
  • STM
  • Paralelism

Interfață cu funcție străină

  • Bazele FFI
  • Sigur vs. nesigur
  • Global în Haskell

Șablon Haskell

  • Îmbinare și cotație
  • Monada Q
  • Reificare

Cerințe

Cunoștințe de bază ale limbajului de programare Haskell și o anumită experiență în programarea Haskell.

 14 ore

Numărul de participanți



Pret per participant

Mărturii (4)

Cursuri înrudite

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

28 ore

Advanced Java Security

21 ore

Combined JAVA, PHP and Web Application Security

28 ore

Standard Java Security

14 ore

Java and Web Application Security

21 ore

Advanced Java, JEE and Web Application Security

28 ore

Categorii înrudite