1) Nadefinujte funkci forEach, stylem jako ve 12. přednášce

2) Dk. zachování typů:

t : T a zároveň t => t' --> t' : T

3) Dk. terminace jazyka ze (2)

4) přepis do denotační sémantiky

5) Dokaž na základě vlastností Progress a Soundness, že je (zadané) pravidlo podtypovosti rekurzivního typu špatně definované.

-----

{{:courses:a4m36tpj:tpj-2012-exam1.pdf|Oficialni zadani}}

Čas nic moc, spíš málo než hodně.