В Lisp-подобных и функциональных языках вводится список локальных переменных, каждая (возможно, необязательно) со своим начальным значением.

В Lisp-подобных и функциональных языках вводится список локальных переменных, каждая (возможно, необязательно) со своим начальным значением. Это незаконно, чтобы обратиться к любому из новых переменных при вычислении их начальных значений ( letrec позволяет сделать это), хотя в Haskell это является законным (егоlet на самом деле letrec).

LET - это специальная форма в Common Lisp, Scheme, Clojure и других диалектах Lisp, которая вводит список локальных переменных в виде пар привязок имени-значения для использования в своем теле. Например, в этом выражении:

(let ((variable1 (+ 1 1)))
  variable1)

variable1 привязан к 2 значение, и все выражение возвращает 2 как результат.