Beispiel einer Programmiersprache, die assoziativ bleibt?

Question

Ich unterrichtete einen Freund über Programmierung und es fiel mir schwer sie davon zu überzeugen, dass a = b und b = a zwei sehr unterschiedliche Dinge sind.

Ich fand schließlich die richtigen Worte, um es zu beschreiben (right associative), die mich denken ließen.

Gibt es Programmiersprachen, die assoziativ bleiben? Ich habe noch nie eine Sprache gesehen wo:

a = b Ergebnisse in b wird auf den Wert von a gesetzt.

Answer 1

Wenn wir über Operator associativity reden sollten wir darüber nachdenken eigentlich zwei Arten von associativity: side_associative (zB =) oder non-associative (zB ==), da es keinen Unterschied für eine Maschine macht, wenn er die Linie links bekommen ist aus nach rechts oder von rechts nach links.

Es gibt keine solchen Programmiersprachen, die ursprünglich left associative sind aber einige von ihnen lassen Sie es über Überladen von Operatoren und einige (zum Beispiel R) werden beide erlauben: -> und <-.

Ich glaube, niemand wird es in Europa mögen, aber es könnte schön im Nahen Osten gefunden werden. Ich kann mir vorstellen, dass es IDE s gibt, die rechts mit der linken Seite wechseln, aber am Ende werden Compiler auf eine europäische Art geschrieben.

Answer 2

Ich glaube nicht. Obwohl Sie den Zuweisungsoperator immer überladen können und in Ihrem C++ vollständige Verwirrung verursachen können.

Answer 3

R hat sowohl <- als auch -> Zuweisungsoperatoren definiert.

> b <- 42 
> b -> a 
> a 
[1] 42 

Answer 4

Sie missverstanden Assoziativität. Ein Operator op ist assoziativ, wenn (a op b) op c äquivalent zu a op (b op c) ist. Für Operatoren, die nicht assoziativ sind, wird es daher relevant, ob a op b op c für die erstere oder die letztere steht. Wir unterscheiden also zwischen linksassoziativen Operatoren, wo es (a op b) op c ist, und rechtsassoziativen Operatoren, wo es a op (b op c) ist.

Die meisten Operatoren in den meisten Sprachen sind linksassoziativ. Nehmen Sie zum Beispiel -: a - b - c entspricht (a - b) - c in den meisten Sprachen, nicht a - (b - c).

Der Zuweisungsoperator ist eine Ausnahme davon, da (a = b) = c im Allgemeinen nicht legal ist (wie Sie dem Ergebnis einer Zuweisung nicht zuweisen können). Somit entspricht a = b = c in den meisten Sprachen a = (b = c). Eine bemerkenswerte Ausnahme ist Python, wo a = b = c überhaupt nicht assoziiert und ist einfach illegal.

Das hat nichts mit dem Unterschied zwischen a = b und b = a zu tun. Da dies nur eine einzige Verwendung des Operators = erfordert, wird die Assoziativität nicht berücksichtigt. Vielmehr ist die relevante Eigenschaft : Ein Operator op ist kommutativ, wenn a op b äquivalent zu b op a ist. Mir ist keine Sprache bekannt, in der der Einsatz kommutativ ist, und ich habe auch keine Vorstellung davon, wie es sein könnte.

Konzepte wie Links-Kommutativität oder Rechts-Kommutativität gibt es nicht. Soweit ich weiß, gibt es keine Bezeichnung für die Frage "Verteilt a = bb bis a oder umgekehrt?" - Das ist nur ein Teil der Semantik des Zuweisungsoperators.