\begin{slide}{Primitive Operationen}
($=$ Funktionen, die keine Lambda-Ausdrücke sind,
weil sie direkt auf primitiven Werten rechnen)

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

konkret:
\begin{verbatim}
(prim + 2 (prim * 3 4)))
\end{verbatim}

\end{slide}
