(Untitled)

[rdia]

Не только лишь все знают, что в Ocaml'е параметры функций

Comments

[iamjaph]

А когда вы, обычно, используете f (x, y), а когда f x y?
Сам вижу ясно только случаи:
* первый - когда (x, y) - это тип
* второй - когда реально нужно каррирование для передачи f x куда-то.
А вот в других вариантах трудно определиться.

[rdia]

Сейчас традиционно используется второй вариант f x y. Это практичнее, поскольку язык позволяет делать частичное применение. То есть, вместо

let result = List.map (fun y -> f(1,y)) []

писать

let result = List.map (f 1) []

Если частичным применением ее злоупотреблять, то получается проще и приятнее для чтения.

Поэтому сейчас в кортеж оборачивается строго по нужде - когда надо вернуть из функции несколько значений. Или, как вы говорите - тип такой.

Из типовых ситуаций, на ум приходит лишь fold_left, с хитрым аккумулятором.

[iamjaph]

Спасибо.