Для чего ключевое слово, которому “позволяют”, на функциональных языках как F# и OCaml?

В F # (и OCaml) let - довольно мощная конструкция, которая используется для привязки значений , что означает придание некоторого значения символу. Это может означать разные вещи:

Объявление локального или глобального значения - вы можете использовать его для объявления локальных значений. Это похоже на создание переменной в императивных языках, за исключением того, что значение переменной не может быть изменено позже (оно неизменяемо):

let hello = "Hello world"
printfn "%s" hello

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

let add a b = a + b
printfn "22 + 20 = %d" (add 22 20)

Зачем он вам? В F # код без него был бы неоднозначным. Вы можете использовать value hiding для создания нового символа, который скрывает предыдущий символ (с тем же именем), поэтому, например, следующее возвращает true :

let test () =
  let x = 10
  let x = 20 // hides previous 'x'
  x = 20     // compares 'x' with 20 and returns result

Если вы пропустили let , вы не узнаете, сравниваете ли вы значения или объявляете новый символ.Кроме того, как отмечали другие, вы можете использовать синтаксис let = в (если вы используете перенос строки в F #, тогда вам не нужно в ), чтобы записать привязки значений как часть другого выражения:

let z = (let x = 3 + 3 in x * x)

Здесь значение z будет 36. Хотя вы можете изобрести некоторый синтаксис, который не требует ] let , я думаю, что использование let просто делает код более читабельным.