Kate Konczycki

Neprocedurální programování

Cvičení probíhala v ročnících 2019/2020, 2020/2021 a 2021/2022.

Texty ke cvičením

  1. Prolog: Úvod
  2. Prolog: Robinsonova aritmetika, seznamy
  3. Prolog: Řezy, negace, práce s čísly
  4. Prolog: Řazení, operátory
  5. Prolog: Metaprogramování, stromy
  6. Prolog: Grafy a prohledávání
  7. Prolog: Shromažďování a databáze
  8. Funkcionální programování: Úvod, lambda kalkulus
  9. Haskell: Seznamy
  10. Haskell: Origami
  11. Haskell: Vlastní typy, ADT, typové třídy
  12. Haskell: Stromy, Foldable, Monády (úvod)
  13. Haskell: Práce s monády, Důležité typy monád
  14. Haskell: Moduly, Monoidy, Zipper

Další zdroje

Odkazy k předmětu na Matfyzu:

Prolog:

Haskell: