Anmerkungen zur Syntax

Zur Definition der Abstraktion

• Die erste Alternative in der Definition bezieht sich auf die explizite Namensvergabe.
• Die zweite Alternative bezieht sich auf das, was der Namensvergabe normalerweise vorausgeht, die eigentliche Abstraktion. Die Namensvergabe ist nur der letzte Schritt.
  • Es gibt auch anonyme Lambda-Abstraktionen, bei denen die Namensvergabe als überflüssig weggelassen wird.
  • Der Definition einer anonymen Lambda-Abstraktion kann auch als Definition einer Funktion angesehen werden.

Zur Definition der Synthese

Eine Synthese gemäß obiger Definition wird auch oft als Funktionsaufruf oder als Abbildung (Applikation) bezeichnet.