Ovviamente sì. OCaml è un (bel) linguaggio funzionale in piena regola, e supporta pienamente tra l'altro funzioni di ordine superiore, funzioni anonime, currying... leggi ad esempio qui una concisa ma corretta trattazione in merito.