Plan Szkolenia

Podstawowe typyklasopedii

  • Funktor
  • Zastosowanie
  • Składany, przenośny
  • Monady
  • Inne (strzałka itp.)

Zaawansowane typy

  • Algebraiczne typy danych dogłębnie
  • Zaawansowane klasy typów
  • Wpisz rodziny
  • GADT

Debugowanie i optymalizacja kodu

  • Ścisłość typów danych i funkcji
  • Profilowanie pamięci i procesora
  • Wydajne struktury danych (bytestring, tekst, wektor i inne)
  • Uwaga na temat „niebezpiecznych”

Zrozumienie systemu wykonawczego

  • Układ pamięci w GHC
  • Rozpakowywanie ścisłych pól
  • Zrozumienie i przeczytanie Core

Współbieżność w Haskell

  • Haskell wątków
  • MVars i spółka.
  • STM
  • Równoległość

Interfejs funkcji obcych

  • Podstawy FFI
  • Bezpieczne vs. niebezpieczne
  • Globale w Haskell

Szablon Haskell

  • Łączenie i wycena
  • Monada Q
  • Reifikacja

Wymagania

Podstawowa znajomość języka programowania Haskell i pewne doświadczenie w programowaniu Haskell.

 14 godzin

Liczba uczestników


cena netto za uczestnika

Opinie uczestników (1)

Propozycje terminów

Powiązane Kategorie