🚀 go-pugleaf

On Mon, 18 Jan 1999, Andrzej Lewandowski wrote:

> W dalszym ciagu nie rozumiem: po co wskazniki i referencje?

Jeśli chcemy referencje na referencje / wskaźniki na wskaźniki (a ja chcę
- żeby implementacja listy mogła dostać argument "gdzie podłączyć następny
element" - inaczej robi się sztuczne ograniczenie), to nie wystarczą
osobne operatory na podstawienia i porównania adresów i wartości, bo
tych poziomów robi się potencjalnie nieskończenie wiele. Naturalnym
rozwiązaniem są wtedy referencje i operator "brania adresu", który
można stosować wielokrotnie - albo w drugą stronę, wskaźniki i operator
"wyłuskania". I jeden rodzaj operatora przypisania oraz jeden rodzaj
operatora porównania.

Co teraz zwraca operator brania adresu? Otóż coś, co zachowuje się jak
wskaźnik! Więc nawet jeśli wskaźniki nie będą w praktyce używane jako pola
rekordu, same pojawią się jako wartości cząstkowych wyrażeń.

Na szczęście, jak pokazuję, wskaźniki dają się zaimplementować w samym
języku, mając referencje. Nawet gdyby typ wskaźnikowy nie był zdefiniowany
w standrdowych bibliotekach, każdy mógłby go sobie zaimplementować.

Nie jestem tylko pewien, czy w moim modelu da się w ogóle zdefiniować
operator brania adresu, tak żeby odpowiednio działał dla wielokrotnych
referencji. Poprzednio mówiłem, że chyba się nie da; teraz mi wychodzi,
że chyba jednak się da, ale zależy to od tego, jaki ten model będzie -
jeszcze nie wszystko mam wymyślone. Problem jest w zdefiniowaniu zasad
rozwiązywania niejednoznaczności w dopasowywaniu typów do przeciążonych
operacji. Często w takich sytuacjach będzie po prostu błąd kompilacji,
ale niektóre rzeczy, m.in. branie adresu wielokrotnych referencji,
wymagają zasad pozwalających jakoś wyrazić, że mimo niejednoznaczności
chcemy użyć którejś wersji. Intuicyjnie faworyzowane będą wersje nie
wymagające konwersji typów oraz wersje zdefiniowane dla "bardziej
szczegółowych" typów... Chyba że zupełnie zmienię model...

-- 
 __("<    Marcin Kowalczyk * qrczak@knm.org.pl http://kki.net.pl/qrczak/
 \__/       GCS/M d- s+:-- a21 C+++>+++$ UL++>++++$ P+++ L++>++++$ E->++
  ^^                W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP->+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-