Primitive Operationen

(= Funktionen, die keine Lambda-Ausdrücke sind, weil sie direkt auf primitiven Werten rechnen)

abstrakt:

data Exp = ...
  | Literal Integer
  | PrimitiveApplication 
      { primop :: PrimOp , arg :: [ Exp ] }
data PrimOp 
     = PrimOp { name :: S.Id }

konkret:

(prim + 2 (prim * 3 4)))