これらの引数がユニット型を持つと推測されたのはなぜですか？

Question

私は意図的に私はxとyの引数は、まだタイプ」のあることを期待していた

let myMax x y = 
    if x > y then x else y 
    x 

、この関数の最後にxを追加しましたが、私が代わりにこの署名を取得する：

myMax : x:unit -> y:unit -> unit 

なぜこれらをユニット型を持つと推論される引数？

編集： 回答には@gillesありがとうございます。次の2つの機能を考慮してください。

let foo x y = 
    0    // warning 
    x 
val foo : x:'a -> y:'b -> 'a 

let foo2 x y = 
    if x > y then x else y // no warning 
    x 
val foo2 : x:unit -> y:unit -> unit 

2つのシグネチャはどう違うのですか？ のは、単純な例を書いてみましょう第二の機能では、コンパイラは、x -either比較の結果を解釈するか、ユニット

Answer 1

としてY-ように思える：複合式で

> fun x -> x; 0;;   
val it : unit -> int = <fun:clo@5> 

、セミコロンの前の式/改行演算子はユニット型でなければなりません。 「実」値（つまり、ユニット以外のタイプのもの）を持つ式を使用する場合は、明示的に無視するか、変数のないパターンにバインドする必要があります。値は結局、無視され、そのタイプので -

> fun x -> 0; x;; 

    fun x -> 0; x;; 
    ---------^ 

stdin(7,10): warning FS0020: This expression should have type 'unit', but has type 'int'. 
Use 'ignore' to discard the result of the expression, 
or 'let' to bind the result to a name. 
val it : x:'a -> 'a = <fun:clo@7-1> 

;前に、任意の型を可能に型付けルールを持つことが可能になります：式の型はunitで統一することができない場合、コンパイラはあなたを思い出させます重要ではありませんが、それは重要な戻り値を誤って破棄することを容易にします。だから、あなたが値を無視したい場合は、明示的に実行します。

let myMax x y = 
    ignore (if x > y then x else y) 
    x 

または

let myMax x y = 
    let _ = if x > y then x else y 
    x