Let expression とは

コンピュータサイエンスでは、「let」式は関数定義を制限付きスコープに関連付けます。
"let"式は、ブール条件と制限付きスコープを関連付ける数学で定義することもできます。
「let」式は、ある値に適用されたラムダ抽象化として考えることができる。数学の中では、let式は、変数のスコープを制限する存在量限定子の中で、式の結合として考えることもできます。
let式は、他の式の定義に使用するために、式のローカル定義を可能にする多くの関数型言語で存在します。 let式は、いくつかの関数型言語の2つの形式で存在します。 letまたは "rec"を入力します。 recは、再帰を実装するために固定小数点コンビネータを使用する単純let式の拡張です。