toto je velmi dobra odpoved :) ale zaujimalo by ma, co si myslel tymi vynimkami a la OCaml. ja ten jazyk vobec nepoznam, preto sa pytam.

ja pouzivam iba haskell a racket, oba su velmi ine, ale napriek tomu povazujem racket za funkcionalny programovaci jazyk [v o dost slabsom vyzname].

no a tomu chcem spravit trochu reklamu:

je to dialekt lispu, ktory je navazeny skor na fp stranu (cons je immutable - toto znamena vela - e: tu je vysvetlena logika za tym), ale oproti haskelu nema trackovanie efektov, cize viem robit nepure funkcie o ktorych sa to nedozviem inak ako citanim zdrojaku. neratam referencne netransparentne funkcie ako accursedUnutterablePerformIO co ma haskell :) v tomto ohlade je racket slabsi.

ale co je na nom super je, ze napr tu kompoziciu funkcii co spominas:

(.) :: (b -> c) -> (a -> b) -> a -> c

si velmi lahko do toho jazyka pomocou makier vies dorobit bez cakania na novu verziu [makra preto, ze si vies vytvorit syntax aku chces, nemusi to byt (. fb fa)]. rovnako definovanie curried funkcii, lazyness, atd.

rozpisal som sa, lebo prokrastinujem. chapem ze to vyzera byt trochu odveci :)