Użytkownik "Maciej Sobczak" <s...@g...com> napisał:

>> oraz to, dlaczego do wyrażenia tożsamości
>> użyto symbolu powszechnie używanego w informatyce w roli przypisania.

> Bo to jest przypisanie. Tak się właśnie definiuje funkcje.

NIE! (koljne skrzywienie "wartosciowym" C++ i przeinaczanie historii).

Oryginalnie (Algol, Pascal. Modula) = oznaczalo porownanie
a <- (jedna strzalka w lewo), := :- oznaczaly przypisanie.
W dodatku Simula rozrozniala dwa rodzaje przypisania:
:= - "wartosciowe" (kopiowanie wartosci)
:- - "referencyjne" (odwolanie do, metka)

Istnialy obok siebie i bylo super dopuki nie nastapil "wspanialy"
C++ i nie "ujednolicil" przypisania do = (wylewajac dziecko z kapiela
bo jednoczesnie uwalil przypisywanie referencyjne).
W dodaktu wprowadzil koszmarek & jako oznaczenie referencji (inicjowalne
jedynie, a nie przypisywalne).

A w Simuli bylo normalnie (zarowno deklaracja jak i uzycie):

integer a
ref(integer) ra
Klasa obj
ref(Klasa) robj

a := 3
ra := a
obj := Klasa(arg1, arg2, ...)
robj :- new Klasa(arg1, arg2, ...)

PS: No ale przyszedl C++ i "wyrownal"..

AK