🚀 go-pugleaf

Dnia 19-05-2007, So o godzinie 11:59 +0200, Michał Przybyłek napisał(a):

> Jakiej spójności ? Przecież jest spójnie - zawsze masz ewaluację 
> pierwszego argumentu w środowisku funkcyjnym, pozostałych w środowisku 
> zwykłych wartości i aplikację pierwszego argumentu, który musi być 
> funkcją (operatorem) do pozostałych, które muszą być zwykłymi wartościami.

Niespójność polega na tym, że jedne funkcje są dostępne w środowisku
funkcyjnym, a inne - w środowisku zwykłych wartości.

To jest poboczny temat. Zaczęło się od mnogości nawiasów, która irytuje
mnie bardziej niż #' i funcall/apply.

> > 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.
> 
> Prawda. Funkcji używa się inaczej niż pozostałych obiektów - tylko 
> funkcje są aplikowane. Oczywiście _istnieją_ też konteksty, w których 
> używa się funkcji tak jak zwykłych wartości.

Wystarczy, że istnieją takie konteksty, żeby była konieczność jawnego
importowania z jednej przestrzeni nazw do innej. Jawne importowanie jest
dla mnie wadą, bo każe programiście rozróżniać sytuacje, które mogą być
z powodzeniem traktowane jako to samo.

> Nie traktuj dodatkowej ilości kodu jako zło, z którym trzeba walczyć,
> a jako przydatne komentarze.

Dla mnie nieprzydatne. To, że dane słowo oznacza funkcję, nie jest tak
ważną informacją, żeby zmuszać programistę do jawnego zaznaczania tego
w każdym miejscu, w którym jest użyte.

W Perlu jest osobna przestrzeń nazw dla skalarów, osobna dla tablic,
osobna dla słowników, osobna dla funkcji i osobna dla uchwytów
wejścia-wyjścia. Też trzeba owinąć wszystko w skalar za pomocą jawnej
operacji, żeby przekazać obiekt pośrednio, a potem odwinąć w miejscu
użycia. To mi się nie podoba tak samo jak w Lispie. Tego też będziesz
bronił? Jeśli nie, to dlaczego chcesz wyróżniać funkcje, a nie chcesz
wyróżniać tablic? Przecież tablice też są szczególnymi wartościami:
tylko tablice są indeksowane.

> >> 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.
> 
> Co rozumiesz przez bycie "first-class" ? Czy kontynuacja łapana przez 
> "return" nie jest first-class, choć mogę owinąć ją w lambdę i przekazać 
> dalej ?

Mogę się zgodzić, że jest first class, więc mogłyby też być w tej samej
przestrzeni nazw. Przekazywanie etykiet pośrednio jest zapewne tak
rzadkie, że to, czy są w tej samej przestrzeni nazw, nie ma dużego
znaczenia praktycznego i nie będę tutaj naciskał w żadną stronę.

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