Partial Evaluation

• bisher: Applikation zur Laufzeit

  (Continuation bezeichnet durch Ref k::Exp)

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

• jetzt: Applikation während der Transformation

  (Continuation bezeichnet durch k::Cont)

  type Cont = ExpValue -> Transform ExpCPS
  transform :: Exp -> (Cont->Transform ExpCPS)
  transform x = case x of 
     ConstInteger i -> \ k -> k x