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


Dată început

Dată sfârșit


Dates are subject to availability and take place between 09:30 and 16:30.
Open Training Courses require 5+ participants.

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