statnice:bakalar:b4b36fup

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

======= Funkcionální jazyky a jejich vlastnosti. Lambda kalkulus, iterativní konstrukty a rekurze. ======
  - Čisté funkce (pure functions), jejich výhody a nevýhody.
  - Rekurzivní funkce, typy rekurze, koncová rekurze (tail recursion).
  - Reprezentace seznamů a stromů ve Scheme/Racketu.
  - Víceřádové funkce (higher-order functions), příklady, currying a částečně vyhodnocené funkce, levý a pravý fold.
  - Funkční (neboli lexikální) uzávěry, příklady.
  - Lambda kalkulus, alfa-konverze, beta-redukce, evaluační strategie (normal a applicative), normální forma, Church-Rosserova věta, Y-combinator.
  - Algebraické datove typy (ADT) v Haskellu, příklad rekurzivního ADT.
  - Typové třídy (type classes) v Haskellu, polymorfismy v Haskellu.
  - Typové třídy Functor, Applicative functor, Monad a jejich použití.

Trace: • b6b36omo • b4b01jag • b6b36ts1 • b0b39pgr • be4b39vgo

Search

Navigation

Print/export

Tools

QR Code