Semantik

semantischer Bereich:

type Continuation a = a -> Action Val
date CPS a 
   = CPS ( Continuation a -> Action Val )
evaluate :: Env -> Exp -> CPS Val

Plan:

• Syntax: Label, Jump, Parser
• Semantik:
  • Verkettung durch >>= aus instance Monad CPS
  • Einbetten von Action Val durch lift
  • evaluate für bestehende Sprache (CBV)
  • evaluate für label und jump