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

Upcoming Courses

Categorii înrudite