Kompozitni operatori OCaml-a
U verziji 4 OCaml uvodi dva kompozitna operatora koja brzo nađu svoju primenu. Posebno je interesantno kako nešto tako jednostavno značajno doprinosi čitkijem kodu.
@@
Application operator je definisan kao:
val (@@) : ('a -> 'b) -> 'a -> 'b
Drugim rečima: g @@ f @@ x je ekvivalentno g (f (x)).
Ne, nije šala: operator je samo drugačiji oblik poziva funkcije. Čemu onda? Pregledniji kod.
Ugnježdeni pozivi nisu baš laki za praćenje - na svakoj zagradi pravimo mentalni iskorak i tražimo krajnju zagradu da bi odredili ‘oblast’ funkcije. Primer:
module StringMap = Map.Make(String);;
let m = StringMap.empty;;
let m = StringMap.(add "X" 1 (add "Y" 2 (add "Z" 3 m)));;
let m = StringMap.(add "A" 4 @@ add "B" 5 @@ add "C" 6 m);;
Poslednja dva reda dodaju elemente u mapu. Drugi način je očigledno pregledniji.
Da budem iskren, ovo neće biti operator koji ćete koristiti toliko često - ali zato sledeći hoćete!
|>
Reverse-application operator - već i ime nagoveštava - je definisan kao:
val (|>) : ‘a -> (‘a -> ‘b) -> ‘b
Drugim rečima: x |> f |> g je ekvivalentno: g (f (x)).
Ne, ni ovo nije šala - operator predstavlja inverzni oblik pozivanja funkcije. Čemu onda? Pa… služi upravo čemu i pipe operator u linuksu: rezultat se prenosi kao argument sledećeg poziva. Ovim se prilično lepo ‘razvija’ niz ugnježdenih poziva; ne samo da je kod čitljiviji, već je i lakši za razumevanje.
Primer:
let put_key_values_into_a_list c map =
StringMap.filter (fun key _ -> String.contains key c) map
|> StringMap.bindings
|> List.split
|> snd
Ovo je funkcija koja filtrira mapu, zatim izvlači sve parove, razdvaja ih na dve liste, te vraća listu vrednosti. Uočava se moć ovakvog operatora: dobija se fluent korišćenje i bez ikakvog dodatnog dizajna API-ja!
Divno je koliko su jednostavni ovi koncepti, a opet dalekosežni.