Ako su reprezentovane typove vyrazy?
odpoved: typove konstanty . typove premenne a typove operacie;
Ako je definovana unifikacia a substitucia v parametricky polymorfnom systeme?
ak A a B su typove premenne, T1 = B1 T2 = B2, potom T1xT2 = T3 a vsetky vyskyty B1 a B2 sa nahradia A, lebo A ma typ TA - tomu sa hovori unifikacia
ak A je typova premenna, T1 = A, T2 = TE (typovy vyraz) kde TE nie je premenna, kazdy vyskyt A sa nahradi TE - substitucia
a to B, ak T1 = A, T2 = B, potom T1 = B, lebo doslo k substitucii A = B
correct ??
typove vyrazy to je z prednasok a to druhe paste z podobneho problemu