🚀 go-pugleaf

Dnia 19-05-2007, sob o godzinie 01:37 +0200, Michał Przybyłek
napisał(a):

> Powyżej zdefiniowana jest jedna globalna funkcja (w pustym środowisku 
> zewnętrznym) i może być ona wołana zarówno:
> 
> (foo)
> 
> jak i:
> 
> (funcall *foo*)

Natomiast parametr funkcji (ogólniej: funkcja, która jest dana inaczej
niż jako nazwa przypisana konkretnemu ciału funkcji albo lambda) może
być wołany tylko przez funcall.

Tylko mi nie radź, żebym w ramach spójności wołał każdą funkcję przez
funcall. Nie interesuje mnie takie rozwiązanie, żeby wszystkie przypadki
były jednakowo niewygodne.

> Dlatego, bo rozróżnienie _nie_ jest po globalności/lokalności danej 
> funkcji, a po środowisku, w którym siedzi zmienna odnosząca się do niej.

Kłótnia o nazwanie kryteriów jest nieciekawa. Ważne, że rozdzielenie
tych środowisk jest mało praktyczne.

> Rozróżnienie nie jest po _wartości_ danego obiektu, a po sposobie jego 
> użycia. Funkcje używa się inaczej niż zwykłe wartości,

Nieprawda. Funkcję mogę przekazać jako argument innej operacji albo
zaaplikować do argumentów. Parametr funkcji mogę przekazać dalej jako
argument innej operacji albo zaaplikować do argumentów.

> Skoro są używane w różnych kontekstach,

Ależ są używane w tych samych kontekstach. Wystarczy niepusta część
wspólna.

Przyznaję tylko tyle, że jeden z kontekstów jest częstszy w przypadku
funkcji, a drugi jest częstszy w przypadku innych wartości. Ta częstość
nie jest jednak tak duża, żebym nie zauważał #' i funcalli.

> BTW, czy np. etykiety dla "goto", też powinny siedzieć w tej samej 
> przestrzeni co pozostałe rzeczy ?

Jeśli nie są first class values, to są używane w różnych kontekstach,
więc mogą być w różnych przestrzeniach nazw.

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