Как назначить значение на основе условия в Ocaml?

Question

Я хотел бы выразить что-то вроде следующего:

if b then
  let value = ... in
else
  let value = .... in
let double = value * 2

Но, похоже, Ocaml не поддерживает этот синтаксис. Если я не хочу повторять let double = value * 2 часть, я должен определить value как ссылку?

Большое спасибо!

Answer 1

Ваша проблема в том, что вы думаете об этом императивно (условно присваивать переменной), а не функционально (связать имя с результатом выражения):

let value = if b then ... else ... in
let double = value * 2

Answer 2

как уже упоминалось, функциональный подход обычно предпочтительнее.

Однако могут быть сценарии, в которых вы хотите использовать императивные функции ocaml:

let value = ref 2;;

begin
if 1=2 then
value := 4
else
value := 3
end;
let double = !value * 2

Обратите внимание, что нужно убедиться, что тип выражения в if-ветви и в else-ветви должен быть одинаковым - здесь unit - в противном случае компилятор жалуется (конечно).