Let und Lambda

• let { x = A } in Q

  kann übersetzt werden in

  (\ x -> Q) A

• let { x = a , y = b } in Q

  wird übersetzt in ...

  
  

• beachte: das ist nicht das let aus Haskell