24. Ak prediat platnosti ma pre reprezentaciu udajov abstrakciu typu hodnotu True,potom
a)vsetky operacie abstraktneho typu mozno definovat priamo v typovej triede
b)definicia operacii abstraktneho typu nevyzaduje test na platnost
c) vsetky operacie mozno definovat v pripadoch typovej triedy
25. Vyraz moze byt v slabej prefixsnej normalnej forme
a)iba pri pouzity vnutornej redukcie
b) iba pri pouzity vonkajsej redukcie
c)pri pouzity vnutornej aj vonkajsej redukcie
27. Funkcia f definovana nasledovne
f
f (x:y:z) = x : f (y:z)
je svojim vyznamom funkciou:
a)fst
b)head
c)init
28. Ak je urcita operacia prekryvana, potom
a)patri prave jednemu abstraktnemu typu
b)patri aspon jednemu asbstrktnemu typu
c)patri vsetkym abstraktnym typom
neviete odpovedte na tieto otazky?