engl.: parameter passing

Call-by-Value: Werte die aktuellen Parameter aus. Benutze die Ergebnisse anstelle der formalen Parameter im definierenden Ausdruck/Rumpf. Werte den Rumpf aus.

Call-by-Name: Ersetze alle Vorkommen der formalen Parameter durch die (unausgewerteten) aktuellen Parameterausdrücke. Werte den Rumpf aus.

Call-by-Need ist eine verfeinerte Form von Call-by-Value, bei der ein aktueller Parameter, wenn er mehrfach benötigt wird, nur einmal ausgewertet wird.

• Unterschiedliche Auswertungsstrategien führen im Allgemeinen zu unterschiedlichen Ergebnissen.
• In einer Sprache ohne Seiteneffekte wie Haskell unterscheiden sich Call-by-Need und Call-by-Value aber nicht im Ergebnis, sondern nur in der Effizienz der Auswertung.