Was ist der Unterschied zwischen Zuordnung, Bewertung und Namensbindung?

Ich habe gelesen, dass die Namensbindung einem Bezeichner einen Wert (Daten / Code / Ausdruck) zuweist . Zuordnung und Bewertung scheinen dasselbe zu tun. Es ist verwirrend. Kann ich nur sagen, dass es sich bei der freien Variablen um eine Variable handelt, der kein Wert zugewiesen wurde, während der Wert der gebundenen Variablen zugewiesen wurde?

Das Binden hat damit zu tun, Dingen (oder Werten) in einem bestimmten, gut abgegrenzten Kontext Namen zu geben. Bei der Zuweisung geht es darum, Dinge (oder Werte) an einem Ort (einer Variablen) zu speichern. Eine andere Zuordnung kann einen vorherigen Wert durch einen neuen ersetzen. Die Bewertung besteht darin, alle Bezeichner eines formalen Textes mit etwas (mit einem Wert) zu verbinden. In der Mathematik werden diese Bezeichner häufig als Variablen bezeichnet, was zu einer Verwechslung mit dem Konzept der Variablen (dh der Speicherung) in der Informatik führt.

Der Versuch, intuitivere Details zu geben

Die Namensbindung gibt den Bezeichnern innerhalb eines Teils (Umfang genannt) des betreffenden mathematischen oder Programmiertextes eine Bedeutung. Diese Bedeutung kann in der Tat als Wert in einem Bereich angesehen werden, wenn der Text interpretiert wird.

Wenn Sie foobeispielsweise eine Ganzzahlvariable deklarieren , ist der im Bereich angehängte Wert fooeine Ganzzahlvariable. Eine Ganzzahlvariable kann informell als Container angezeigt werden, der einen Ganzzahlwert enthalten kann, der geändert werden kann. Sie können es auch als Adresse eines Speicherorts anzeigen, an dem der Inhalt gespeichert werden kann.

Wenn Sie jedoch fooals Ganzzahl 25 deklarieren, ist jede Verwendung von innerhalb des Gültigkeitsbereichs fooidentisch mit einer Verwendung von 25. Wenn Sie foo als Ganzzahlkonstante deklarieren, kann sie sich nicht ändern, und daher muss ihr Wert angegeben werden.

Beim Binden wird ein Name an einen Wert angehängt, der sich im Rahmen des Namens nicht ändert. Ein Beispiel sind Rechtsdokumente, aus denen hervorgeht, dass for the purpose of this document, Mr. Brown, and the Smith family shall be called the beneficiary.der Geltungsbereich das Rechtsdokument ist. Und überall im Dokument bedeutet die Verwendung des Wortes beneficiaryMr. Brown und die Familie Smith. Sie können es als Definition einer lokalen Terminologie sehen. Es hat damit zu tun, Dingen Namen zu geben. Beim Binden geht es um Sprechen, Lesen oder Schreiben. Es geht nicht darum, Werte auszuführen oder zu verschieben: Das entspricht einer Zuweisung.

Eine Variable kann als Speicherblock angesehen werden, der einen Wert enthalten kann. Wenn Sie eine Variable haben, können Sie den in dieser Variablen enthaltenen Wert durch eine Zuweisung ändern. Wenn fooeine Variable im aktuellen Bereich an eine Variable gebunden ist (oder diese bezeichnet), können Sie fooder Variablen, die mit bezeichnet wird foo, einen Wert zuweisen , dh der in dieser Variablen enthaltenen Wert, oder sie lesen. Und Sie können diesen Wert mit einer neuen Zuordnung ändern.

Bindung ist also eine Operation, die sagt, was Namen im Text des Programms oder des mathematischen Diskurses bedeuten. Es ist statisch in dem Sinne, dass sich der Text nicht ändert. Die Zuweisung ist jedoch ein Programmierkonzept, das darin besteht, einen Wert in einer Variablen zu speichern, dh in einem Container, der normalerweise ein Speicherplatz ist. Es ist ein dynamisches Konzept, das sich darauf bezieht, wie (Darstellungen von) Werten im Speicher gespeichert werden, das sich im Verlauf des Programms ändert.

Beachten Sie, dass eine Variable unabhängig von einem Namen existieren kann, an den sie gebunden werden könnte. Dies ist der Fall für ein Element eines Arrays, um ein einfaches Beispiel zu nennen.

In verschiedenen Kontexten kann man Ausdrücke oder Texte betrachten, die Namen verwenden, die nicht definiert wurden. Zum Beispiel können Sie schreiben $(a^2-b^2)/(a-b)$Das ist ein arithmetischer Ausdruck. Anschließend können Sie die Variablen bewerten, indem Sie eine Umgebung (Sie können ungefähr einen Bereich lesen) mit den Variablen verknüpfen$a$ und $b$sind an einige Werte gebunden, z. B. 3 und 12, und interessieren sich für den Wert, den die Expression annimmt. Eine Bewertung ist eine solche Zuordnung einer Reihe von Namen mit jeweils einem bestimmten Wert. Die Namensbewertung wird eher in der formalen Mathematik verwendet, während die Zuordnung ein Programmierkonzept ist.