# **NAIL097** Funkcionální programování

<{Box(infobox)}>
|-----|-----|
| **Stránka předmětu:** | [Web](https://tomkren.cz/fp/) |
| **Vyučující:** | [RNDr. Vít Šefl, Ph.D.](https://www.mff.cuni.cz/cs/fakulta/organizacni-struktura/lide?hdl=9845) |
| **SIS:** | [Odkaz do SISu](https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL097) |
<{/Box}>

predmet sa vyučuje v angličtine

## Zakončení předmětu

### Zkouška
Skúška prebieha ústnou formou

- **2026**
  - *Untyped lambda calculus*
  - *Data encoding in lambda calculus*
  - *Simply typed lambda calculus*
  - *System F*
  - *Hindley-Milner type system*
  - *Algorithm W*