Vlákno názorů k článku Operátory v programovacím jazyku OCaml od atarist - takže jestli to chápu správně, tak si nemůžu...

takže jestli to chápu správně, tak si nemůžu udělat operátor "mod' apod.? Jen něco s "paznaky"?

IMHO jestli si pamatuju dobře, tak to původní ML umožňoval přes "infix" že?

mod zrovna jo, protože to už je platný operátor v OCamlu. Nicméně třeba foo nikoliv.

Ajo ted jsem si zkusil a zrovna jak na potvoru mod jde :)


let foo x y = x + y;;
let ( mod ) = foo;;

30 mod 40;;

Myslel jsem obecne, ale to fakt zda se nejde, OCaml rve. Pockam si na popis F#, tam co jsem se zbezne dival, to zmenili.

No možná trošku paradoxně byl v tomto ohledu původní ML flexibilnější.

Nepříjemné bylo, že ty infix deklarace se nedaly naimportovat z modulů. Takže je člověk musel pokaždé zkopírovat.

Jak radekm napsal, existující operátory je možné předefinovat, ale nové musí být složeny právě jen z těch paznaků :-) Není to ideální, ale na druhou stranu asi OCaml nekandiduje jako náhrada za APL (i když já bych klidně povolil možnost definice i obecnějších operátorů).