Ocamlオプション機能

Question

この関数を書いて、2つの整数の合計を計算し、それをintオプションの型として出力しました。しかし、私はこの警告を受ける。私はNoneのケースを定義しましたが、私はまだこれを取得します。誰も助けることができますか？

let add x (Some y) = match x with 

|None -> if Some y = None then None 
     else Some y 
|Some x -> 
    let z = x + y in 
    if z > max_int then None 
    else if z < min_int then None 
    else if (Some y) = None then Some x 
    else Some (x + y) 

私はこれをしなかったが、まだ何かが欠けています。これはうまくいかない場合は誰も考えることができますか？

let add x y = match (x, y) with 
| (None, None) -> None 
| (Some x, None) -> None 
| (None, Some y) -> None 
| (Some x, Some y) -> if x > max_int then None 
        else if x < 0 then None 
        else if y < 0 then None 
        else if x + y > max x y then None 
        else if x + y < min x y then None 
        else if y > max_int then None 
        else if x < min_int then None 
        else if y < min_int then None 
        else if x + y >= max_int then None 
        else if x + y <= min_int then None 
        else Some (x + y) 

Answer 1

問題はここにあります。let add x (Some y) = ...です。 これは、第2引数がNoneでない場合にのみ、addを定義します。