Ciele
- Pochopiť koncepciu algebraických dátových typov (ADT) a ich definície.
- Pochopiť použitie porovnávania vzorov pre prácu s vlastnými typmi.
- Porovnať ADT s možnosťami poskytovanými v iných jazykoch.
- Pochopiť princíp parametrického polymorfizmu.
- Zoznámiť sa s príkladmi rekurzívnych dátových typov.
Materiály
Zdroje
- Algebraic data type (Wikipedia)
- Haskell: More on datatypes (Wikibooks)
- A Gentle Introduction to Haskell: Values and Types
- Funkcionálne programovanie. Ján Kollár, 2009 — kapitola 4. Typy