Teorija Programskih Jezikov (IŠRM)/Stari kolokviji in izpiti/Izpit-2007-02-24/3. naloga

Iz MaFiRaWiki

Naloga 3 [25 točk]

V funkcijskem jeziku z zapisi in podtipi Sub so dani izrazi p1,p2,p3 in tipi T1,T2,T3:

p1 = {x = {y = 3}}.x
p2 = fun f(x:{a:int, b:int}):{a:int} is {a = x.a + x.b}
p3 = fun f(x:{a:int}):{a:int, b:int} is {a = x.a, b = x.a}

T1 = {y:{int}}
T2 = {a:int} -> {a:int}
T3 = {a:int, b:int} -> {}

Za vsakega od programov p1,p2,p3 ugotovi, katere od tipov T1,T2,T3 ima. Napravi pregledno razpredelnico.

/Rešitev

Osebna orodja