(Diese Frage ist eine Fortsetzung vondieses während des Studiums Haskell.)

Früher war der Begriff zwischen "Variable" und "Wert" verwirrend. Deshalb habe ich über die Wiki-Seite von Lambda Calculus sowie die vorherige Antwort oben gelesen. Ich komme mit folgenden Interpretationen heraus.

Darf ich bestätigen, ob diese korrekt sind? Ich möchte nur doppelt bestätigen, da diese Konzepte recht einfach sind, aber für die funktionale Programmierung unerlässlich sind. Jeder Rat ist willkommen.

Räumlichkeiten auswiki:

Lambda Calculus-Syntax
exp → ID
| (exp)
| λ ID.exp // Abstraktion
| exp exp // Anwendung

(Notation: "<=>" entspricht)

Interpretationen:

"Wert": Dies sind die tatsächlichen Daten oder Anweisungen, die auf dem Computer gespeichert sind.
"Variable": Dies ist eine Möglichkeit, die Daten zu lokalisieren, eine wertersetzende Referenz, aber nicht selbst die im Computer gespeicherten Daten oder Anweisungen.
"Abstraktion" <=> "Funktion" ∈ syntaktische Form. (https://stackoverflow.com/a/25329157/3701346)
"application": Eine Eingabe von "abstraction" und eine Eingabe von "lambda expression" ergibt einen "lambda expression".
"Abstraktion" wird "Abstraktion" genannt, weil wir in der üblichen Funktionsdefinition den (üblicherweise längeren) Funktionskörper in eine viel kürzere Form, d. h. eine Funktionskennung, gefolgt von einer Liste formaler Parameter, abkürzen. (Obwohl Lambda-Abstraktionen anonyme Funktionen sind, haben andere Funktionen normalerweise einen Namen.)

"Variable" <=> "Symbol" <=> "Referenz"
Eine "Variable" wird über einen Prozess namens "Bindung" mit einem "Wert" verknüpft.

Konstante ∈ Variable
"wörtlicher" ∈ "Wert"
Formalparameter ∈ Variable
"Aktualparameter" (Argument) ∈ "Wert"

Eine "Variable" kann einen "Wert" von "Daten" haben => z.B. Die Variable "a" hat den Wert 3

Eine "Variable" kann auch einen "Wert" eines "Befehlssatzes" haben => z.B. Ein Operator "+" ist eine Variable