http://kompostiranjecloveskegagnoja.com/

---

še nekaj: če prav razumem, velja, da če velja predikat isaddr(x), potem mora biti definiran addr(x).
toda oglejmo si protiprimer: naj bo isaddr(b), torej tudi isaddr((a, b)). četudi je addr(b) definiran, addr((a, b)) ni definiran. je to napaka v specifikaciji ali si kaj narobe razlagam? smiselno bi bilo definirati addr((a, b)) kot addr(b), toda tega po hitrem preletu specifikacije nisem zasledil.
 
lp anton
 
EDIT: aha, vidim, da "Operacijska semantika vseh ostalih jezikovnih konstruktov je nedefinirana – prevajalnik jih lahko imple-
mentira na kakrˇsenkoli naˇcin." Torej sklepam, da lahko naredim nekaj po svoje, recimo v absurdnem primeru celo da je addr((a, b)) = addr(b)+1 💀💀💀💀💀