[nem-pl] nawiasy

[Michal Moskal]

On Fri, Feb 13, 2004 at 07:42:02PM +0100, Lukasz Kaiser wrote:
> tym ludziom bardziej sa potrzebne dobre makra niz funkcje wyzszego rzedu
> (oczywiscie w pewnej przenosni).

Uhm.

> Nie rozumiem w jakim sensie efektywniej. Ja nic nie mowilem o implementacji,
> implementacja typow polimorficznych moze sobie instancjowac dla wszystkich 
> typow podstawowych a nawet jak lubi to ahead of time dla wszystkich krotek
> wielkosci <= 20 ;). Patrzmy na jezyk, nie implementacje.

IMHO nigdy nie będziesz pisał dobrych (szybkich!) programów nie wiedząc
nic o implementacji języka. To być może się zmienia, ale tylko o tyle,
że nie trzeba już pisać efektywnych programów.

> > Ja, nie da się ukryć, nie używam typów polimorficznych poza strukturami
> > danych.
> 
> Hmm, nie wiem czy ja sie dobrze wyrazilem. W zasadzie uzywasz zmiennych
> typowych tylko w deklaracji abstrakcyjnego typu, ktory zawsze jest struktura
> danych wiec sie robi maslo maslane. Ale roznica chyba jest w czyms takim, jak
> np. w nawiasach na ostatnich pogromcach. Ja robilem type 'a tree = ... i potem
> sobie trzymalem tam chyba trojki intow jako 'a, ty trzymales rekord ze
> zmiennymi polami, nie pamietam juz, czy od razu zdefiniowany konkretnie 
> w typie drzewa. Nie ukrywajmy ze twoje dzialalo 20x szybciej, ale uwazam jesli 
> by tam wpisac te rekordy bezposrednio to jest mniej abstrakcyjnie.

Oczywiście, ale drzewo binarne podpada pod moją definicję struktury
danych.  Natomiast drzewo rozbioru w kompilatorze już nie.  Podobnie
rekord pamiętający fakturę.

> > Nie sądzę, żebyśmy zdziałali coś metodą bata, marchewka widzi mi się
> > znacznie bardziej.
> 
> Hmm, ja myslalem ze to zawsze dziala tak ze jest dwoch, jeden z kijem, 
> drugi z marchewka i dzialaja rownolegle ;).

Do metody kija trzeba mieć większą siłę przebicia... ;)

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?