Bu ödevler neden farklı sonuçlar üretiyor? '+' Ve 'b' arasındaki bu bir boşluk bu hale Neden

Question

Neden

let ab a b = a 5 + b 

val ab : a:(int -> int) -> b:int -> int 

ve

let ab2 a b = a 5 +b 

val ab2 : a:(int -> int -> 'a) -> b:int -> 'a 

üretecek üretecek Fark?

Answer 1

Bu, ayrıştırıcının belirsizlikten kaçınmak için farklı sözdizimsel seçenekleri önceliğe ayırmasıyla ilgilidir.

+ hem ikili toplama işleci hem de "pozitif" işlecinin tek kullanıcısıdır. 5 + b bu nedenle iki argümana eklenme uygulamasıdır; ancak +b, bazı sembollere b sembolüne uygulanan pozitif operatördür.

Böylece

let ab a b = a 5 + b 

olarak ayrıştırılır: a ile

let ab a b = (a 5) + b 

olan bu b eklenebilir, böylece bir int dönen bir tamsayı bağımsız değişken bir fonksiyonu; ancak

let ab2 a b = a 5 +b 

ayrıştırılır olarak:

let ab2 a b = a (5) (+b) 

döndürür türünü tahmin için bir yol ile, iki bağımsız bir fonksiyonu olduğu a ile.

Elimde bir F # işleci yok, bu nedenle doğru adı kontrol edemiyor. Düzenleme: doğru hatırlayamadığım halde: Arithmetic Operators (F#) :-).