スペースがタイプを変更しますか？

Question

私は拡張子Ionide-fsharpで次のコードを入力し、私はc

let test a b c = a/b +c 
let test a b c = a/b +c 

タイプはint -> (int -> int) -> int -> intになったの前にスペースを削除する場合、そのタイプは、しかし

let test a b c = a/b + c 

int -> int -> int -> intのですか？

ただし、次の式は元の型を取得します。

let test a b c = a/b+c 

Visual Studioは、同じ結果を得ました。 F＃の表現では+cはcと扱われているようです。

Answer 1

はい、あなたの前提は正しいです：空白のない用語の前にあるプラス記号は、バイナリ記号ではなく、単項演算子として扱われます。ちなみにマイナス記号でも同じことが起こります。

ことが決定された後、残りの部分を解釈する唯一の方法があります：b +cしたがって、bがintをとる関数でなければならない、引数+cに機能bのアプリケーションでなければなりません。このアプリケーションの結果は部門内の分母として使用されるため、タイプはintでなければなりません。したがって、bはint -> intである必要があります。