🚀 go-pugleaf

On Sat, 27 May 2006 13:02:00 +0000 (UTC),
 Wojciech Muła <wojciech_mula@poczta.null.onet.pl.invalid> wrote:
> Trochę się zdziwiłem, że w Ocamlu operator @ działa w czasie liniowym ze
> względu na długość pierwszego argumentu.  Pogrzebałem trochę po Internecie 
> i okazało się, że w zachwalanym tutaj Haskell jest tak samo.
>
> Macie pomysł dlaczego tak jest?  Tzn. nie chodzi o sam algorytm łącznia,
> którego dość łatwo się domyśleć, ale dlaczego nie implementuje się list
> w taki sposób, żeby ich łącznie wykonywało się w stałym czasie -- przecież
> dodatkowy koszt pamięciowy byłby niewielki.  Są jakieś poważniejsze
> przeciwwskazania?

to by wymuszało modyfikację pierwszego argumentu "w miejscu" co jest
niefunkcyjnym zachowaniem. A tak pierwszy argument jest kopiowany a
drugi jako referencja doklejany. (Pewnie trochę uprościłem, ale mam
nadzieję, że oddałem intuicję).

-- 
Marcin Mankiewicz