Здравствуйте, Mumitroller, Вы писали:

M>Вроде бы достаточно очевидно — получится функция f с двумя аргументами, которая возвращает значение такого же типа, как и f1.

Что там очевидного? Ни имени параметров, ни порядка. В случае f# это может выглядеть как
let f a b c = fun a c -> ... или let f a b = fun c a -> ...

Здравствуйте, Mumitroller, Вы писали:

M>Вроде бы достаточно очевидно — получится функция f с двумя аргументами, которая возвращает значение такого же типа, как и f1.

Что там очевидного? Ни имени параметров, ни порядка. В случае f# это может выглядеть как
let f a b c = fun a c -> ... или let f a b с = fun c a -> ...