コードが機能しません：ocamlで配列をソート

Question

私はOcamlを初めて使用しています。このコードには以下の問題があります。配列をソートするプログラムを作成しようとしています。私は2つのハーフに配列を分割し、それらの2つの配列でArray.sortを使用しました（私は後でそれを修正しようとしていますので、Array.sortは使用しません）。そして、私はそれらの2つの配列の要素を比較したいと思いましたが、コードが機能していません。 誰が問題がどこにあるか教えていただけますか？

let a =[|5;4;2;6;1;3|] ;; 
let n = Array.length a;; 


let l= Array.sub a 0 (n/2);; 
Array.sort compare l;; 
l;; 
let ll= Array.length l;; 


let r= Array.sub a (n/2) (n/2);; 
Array.sort compare r;; 
r;; 
let lr=Array.length r;; 

let merge l r a = 
    let k =ref 0 in 
    let i = ref 0 in 
    let j =ref 0 in 

while(!i<ll && !j< lr) do 
     if(l.(!i) <= r.(!j)) then 
       a.(!k) <- l.(!i) 
       i:= !i+1 
     else begin 
       a.(!k) <- r.(!j) 
       j:= !j+1; 
       k:= !k+1 
     end; 

while (!i<ll) do 
     a.(!k)<-l.(!i) 
     i:= !i+1; 
     k:=!k+1; 
done; 

while (!j<ll) do 
     a.(!k) <-r.(!j) 
     j:= !j+1; 
     k:= !k+1 
done; 
done;; 

merge l r a;; 

Answer 1

あなたの問題は、どのような指示が誤解されているかによって生じます。のは、簡単で短い方法でそれを説明してみましょう：

• あなたの式が値を返す場合、それは表現だ（bool、int、function ...）
• それは返さない場合値（副作用を意味する）、それは命令です（実際にはそれがしているので、unitを返します）。

シーケンス（複数の命令が次々に実行される方法）を使用するときは、;でそれらを区切ります。私はこの

let f x = x := 1; print_int !x; print_newline() 

を書く場合

ので、例えば、私は順序があると私は;と私の指示を分離する必要があります。私が書いた場合

：あなたは簡単に命令が分離されているOCamlは知ることができないことを理解することができます

let f x = x := 1 print_int !x print_newline() 

あなたが;を必要とする理由です（？？それx := 1 print_int; !xそれとも何か他のものがあります）。

今やifで問題が発生します。まあ、それはunit返す、ため

あなたが解析され、どのような

if cond then instr1; instr2 

が

(if cond then instr1); instr2 

Yesで書く場合は、if cond then instr1はありません、命令ですか？だからinstr2はあなたのthenブロックに含まれていません。

しかし、あなたは

if cond then let e1 = e2 in instr1; instr2 

を書く場合の建設let ... inは、すべての命令がネストされているその下のブロックを作成するため、次にinstr2がthenブロックです。

あなたはOCamlで始まるしている場合は、私の貴重なアドバイスは、このようになります：は常にあなたのconditionnalsでbegin ... endを書きます。あなたが書いていることは、あなたが思っていると思うものであると確信できます。

Answer 2

私はコメントするにはあまりにも新しいですが、すべてのブロックがいずれかの必要()またはbegin ... endを括弧ことを指摘します。したがって、最初のifステートメントは、行の最後にthen beginとする必要があります。 beginとelseのようにそれらを分離するためにセミコロンが必要との間のステートメント：彼らはまた、文のブロックであるので

if(l.(!i) <= r.(!j)) then begin 
    a.(!k) <- l.(!i); 
    i:= !i+1 
end else begin 
    a.(!k) <- r.(!j); 
    j := !j+1; 
    k:= !k+1 
end; 

は、whileループの最初の2行はまた、セミコロンを必要とします。ブロック内の最後のステートメントにセミコロンは必要ないことに注意してください。それらはセパレータであり、ステートメントの終わりではありません。また、ショートカットとしてi := !i + 1などの文にはincr iを使用できます。また、変数名としてlまたはllを使用しないでください。 :-)