OCaml имена аргументов

Question

От чтения:

Этикетки для аргументов часто совпадают с именами переменных для их. OCaml обеспечивает сокращение для этого случая. Ниже приведены эквивалентны:

let f ~name1:name2 ~name2:name2 = name1+name2 
let f ~name1 ~name2 = name1 + name2 

Когда я кладу в первой строке я получаю эту ошибку

Error: Unbound value name1 
Hint: Did you mean name2? 

Я не понимаю, как они эквивалентны, если первая строка не действительная функция.

Answer 1

syntax of function arguments позволяет использовать разные выражения.

Учитывая выражение expr, которое вычисляется в функцию f, следующий синтаксис разрешено со следующими правилами:

• expr arg (дается выражение arg): оценить arg до значения v; результат значение f оценивается с аргументом v

• expr ~lbl (присвоено значение Названныйlbl): только тогда, когда f имеет тип lbl:a -> b для некоторых типов a и b, результатом является значение f ~lbl оценивается с аргументом a; ИЛИ, когда f имеет тип ?lbl:a -> b (а затем lbl должен иметь тип a для проверки типов).

• expr ~lbl:arg (дается выражением arg): это то же самое, let lbl = arg in exp ~lbl (за исключением того, что порядок оценки expr и arg не определено).

• expr ?lbl (присваивается значение с именемlbl): только тогда, когда f имеет тип ?lbl:a -> b для некоторых типов a и b, результатом является значение f ~lbl оценивали с аргументом a; lbl должен иметь тип a option для проверки типов. Это чаще всего возникает при пересылке дополнительных аргументов из одной функции в другую.

• expr ?lbl:arg (дается выражением arg): это то же самое, let lbl = arg in exp ?lbl (за исключением того, что порядок оценки expr и arg не определено).