Semantische Bereiche

Value = ...

• Zahlen (für prim. Op. )
• Wahrheitswerte (für prim. Op.)
• in Applikation (app f a) ist der Wert von f eine Funktion (Sprechweise hier: procedural value)

unvollständig und vereinfacht:

data Value 
  = VInt Integer 
  | VBool Bool 
  | VProc ( Value -> Value )