[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

This is an old revision of the document!


[návrh] PFL080 Haskell nejen pro informatiky

English version

Vyučující Mgr. Otakar Smrž
Rozsah 2/1 Z+Zk
Platnost od ZS 2007

Anotace

Haskell je čistě funkcionální programovací jazyk. Jeho studium vybízí k hledání souvislostí mezi různými oblastmi informatiky, logiky i lingvistiky. Zároveň je to ale moderní prostředek pro přesný, přitom stručný a srozumitelný popis řešení obecných problémů.

V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury.

Literatura

Sylabus

  1. Základní funkce a datové typy
  2. Rekurze, funkce vyššího řádu
  3. Polymorfní typy versus třídy typů
  4. Monády a jejich využití
  5. Parsing a pretty-printing
  6. Doménově specifické jazyky
  7. Doplňující otázky z programování

Odkazy

Advanced Programming by B. C. Pierce – volná inspirace pro tento předmět

Advanced Functional Programming at Saarbrücken

Studijní informační systém


[ Back to the navigation ] [ Back to the content ]