Teorija Programskih Jezikov (IŠRM)/Stari kolokviji in izpiti/Kolokvij-2005-12-15/1. naloga/Rešitev

Iz MaFiRaWiki

Rešitev

  1. Tip: int. Evaluira v 42.
  2. Nima tipa. Blokira.
  3. Nima tipa. Evaluira v 7.
  4. Tip: int -> bool. Evaluira v fun f(x:int):bool is f(x-1).
  5. Tip: bool. Divergira.
Osebna orodja