OCaml: значения по умолчанию для аргументов функции?

Question

В PHP, значения по умолчанию для аргументов могут быть установлены следующим образом:

function odp(ftw = "OMG!!") { 
    //... 
} 

Есть ли подобная функциональность в OCaml?

Answer 1

OCaml не имеет необязательных позиционных параметров, поскольку, поскольку OCaml поддерживает currying, если вы не учитываете некоторые аргументы, это просто похоже на частичное приложение. Однако для именованных параметров существуют необязательные именованные параметры.

Нормальные именованные параметры объявляются следующим образом:

let foo ~arg1 = arg1 + 5;; 

Опциональны параметры объявляются следующим образом:

let odp ?(ftw = "OMG!!")() = print_endline ftw;; 

(* and can be used like this *) 
odp ~ftw:"hi mom"();; 
odp();; 

Обратите внимание, что любые дополнительные именованные параметры должны быть соблюдены, по крайней мере, один не опциональным параметр, потому что иначе выражение «odp» выше будет выглядеть как частичное приложение.