🚀 go-pugleaf

Marcin Gajda wrote:

> Zauważyłem jednak, że w paru przykładowych programach pojawił się operator
> $ używany też przed argumentami wołanych funkcji.

f $ x = f x

Priorytet $ pozwala często uniknąć nawiasów, np.

foo x = bar $ case g x of
   ... -> ...
   ... -> ...

Bez $ trzeba by otworzyć nawias i zamknąć na końcu.

> I, czy jest to coś standardowego w Haskellu,

Tak.

> I tak przy okazji - jeszcze jedna drobna rzecz, mianowicie znaczek @ w
> definicjach równości, przed =. Np. zapis f l@(h:t) oznacza, że l, to
> jest to samo, co (h:t), tylko na dwa sposoby zapisane i potem można
> odwoływać się do tego, co bardziej pasuje?

Tak. To jest to samo co f (h:t) (tzn. może być też obok alternatywna
definicja dla []), tyle że jeśli chcemy odwołać się do tego argumentu
w całości, to nie trzeba z powrotem składać go z h:t, tylko mamy go pod
jednym identyfikatorem l.

To samo w OCamlu pisze się (h::t as l), a w SML-u (l as h::t).

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