🚀 go-pugleaf

Dnia 18-05-2007, pią o godzinie 00:59 +0200, Michał Przybyłek
napisał(a):

> > W dodatku Common Lisp rozróżnia wyrażenia, które są do siebie bardziej
> > podobne niż np. wzięcie wielkości tablicy jest podobne do definicji
> > lokalnej zmiennej - a mianowicie aplikację globalnej funkcji i aplikację
> > funkcji przekazanej jako parametr:
> >    (f x)
> >    (funcall f x)
> 
> To jest nieprawda. Rozróżnienie dotyczy tego, w której przestrzeni nazw 
> siedzi dany symbol, a nie czy funkcja jest globalna, czy nie.

To nie przeczy temu, co napisałem. Globalna funkcja siedzi w przestrzeni
nazw funkcji. Parametr funkcji siedzi w przestrzeni nazw zmiennych.
Opisałem praktyczny skutek, a nie mechanizm.

> Nie rozumiem w ogóle dlaczego miałyby być brane z tej samej przestrzeni,

Bo funkcja jest szczególnym przypadkiem wartości. Nie jest odrębnym
bytem, który wartością nie jest. Nazwana funkcja bywa przekazywana jak
inne wartości, a wartości bywają aplikowane jako funkcje (bez statycznej
wiedzy o tym, czy są funkcjami).

> ani dlaczego to miałoby być to "bardziej spójne".

Użyłem argumentu spójności dlatego, że Ty go wcześniej użyłeś odnośnie
składni, a więc powinieneś uważać spójność za ważną.

> I, zresztą, ułatwia to pisanie kodu utrudniając przypadkowy clash 
> różnych konceptów. Gdyby wszystko siedziało w jednej przestrzeni nie 
> mógłbyś mieć żadnych dwóch z następujących rzeczy:
> 
> - typu "list",
> - konstruktora listy "list"
> - zmiennej lokalnej przekazanej jako "list" (dokładniej, nei było by to 
> dobrym pomysłem i tak jak w innych językach używałbyś nazw typu "ls", 
> zamiast "list", "len" zamiast "length" itp.).

Jak wiesz, do rozwiązywania tego problemu stosuję konwencję wielkości
liter: LIST, List, list. Nie potrzeba więc osobnych przestrzeni nazw.

> Zauważ też, że rozgraniczenie przestrzeni nazw jest spotykane w wielu
> (w większości) językach programowania.

Moim zdaniem oba rozwiązania mają podobną popularność. Wspólna
przestrzeń nazw dla zmiennych i funkcji jest szczególnie sensowna
w języku, który ułatwia przekazywanie funkcji i aplikację ich pośrednio,
a więc tam, gdzie to ma sens semantycznie.

Funkcje i zmienne w tej samej przestrzeni nazw:
- C, C++, Haskell, JavaScript, Python, OCaml, Scheme, SML

Funkcje i zmienne w różnych przestrzeniach nazw:
- C#, Common Lisp, Java, Perl, Prolog, Ruby, Smalltalk

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/