Partial Evaluation

• bisher: Applikation zur Laufzeit

  transform  :: Exp -> Transform Exp
  transform x = case x of ... 
   ConstInt i -> do 
    k<-fresh; return $ Abs k (App (Ref k) x)
  

• jetzt: Applikation während der Transformation

  type Cont = Exp -> Transform Exp
  transform :: Exp -> ( Cont -> Transform Exp )
  transform x = case x of ... 
     ConstInt i -> \ k -> k x
  

für jedes Abs/App entscheiden, ob Lauf- oder Compilezeit