Einleitung

durch lambda und let werden Namen gebunden.

Designfrage: was bezeichnet der gebundene Name?

mögliche Antworten:

• einen Wert (call by value)
• eine Aktion (call by name)
• erst eine Aktion, dann deren Resultat (Wert) (lazy evaluation)