Netřeba. K tomu mám sklony už teď. Zrovna včera nás na Matematice 6c přesvědčovali, že imperativní köd s while cyklem, programz pro Turingův stroj, parciální rekurzivní funkce a lambda kalkulus jsou ekvivalentní zápisy...a my jim to po několika tabulích lambd uvěřili :)