次のOCaml Snippetのエラーは何ですか？

Question

コード： let ab = let a = 'a' in let b = 'B' in (Char.lowercase b) in a :: [b];;

私はletキーワードを学んでいます。私は式が文字のリストに評価したい['a', 'b']ではなく、私はエラーなぜこれが起こっている私にはわからない

Error: Unbound value a

を得続けます。私が理解するところでは、letをletの中に新しいバインディングを作成するために使用し続けることができます。aを'a'にバインドするためにletを使用しました。そのため、内部スコープにも有効な値が必要ですか？

私は単にの代わりにb = 'b'を行うことができますが、私はできることとできないことを試しているし、私にもこれはうまくいくはずです。

Answer 1

in個のキーワードが多すぎます。最上位のletには対応するinが含まれていてはなりません。

let ab = 
    let a = 'a' in 
    let b = 'B' in 
     (Char.lowercase b) in 
     a :: [b];; 

このようにそれを再書き込み：実際には

let ab = 
    let a = 'a' in 
    let b = 'B' in 
     a :: [Char.lowercase b];; 

、let b式はaを参照していないので、あなたはこのようにそれを書き込むことができます。

let ab = 
    let a = 'a' 
    and b = 'B' in 
    a :: [Char.lowercase b];; 

Answer 2

ベースコメントでの議論では、式を欲しければ、私もお勧めします：

私はまた、あなたが明確なものを見るのを助けるために、この1に似たスタイルでインデントをお勧めします

let ab = 
    let a = 'a' in 
    let b = 'B' in 
    Char.lowercase b (* Result: ab gets bound to 'b'. *) 
in 
a :: [b]    (* a and b aren't visible out here! *) 

：

問題は、あなたの表現がこのだったということです。 OCamlのプログラマは通常、letの前に行を分割します。 let p = e in e'とeまたはe'が1行に収まらない場合は、eはインデントしますが、e'はインデントしません。こうすれば、pのバインディングが表示されている式をすぐに確認できます。eのバインディングはe'に表示されません。