Neden '! =' Kullanımı belirsiz olarak değerlendiriliyor ama '=' kullanımı benzer değil?

Question

Bazı F # kodu ile this çevrimiçi derleyiciyi kullanarak oynuyordum (Tam olarak F # derleyici sürümünü bulamadım, bu daha sonra alakalı olacak).

let f x y = x = y 
let g x y = x != y 

f

tamamen genel ama benim için sürpriz g değildi: Aşağıdaki iki işlev çok farklıydı fark etti. g 1 2 çağrılması mesajı içeren bir derleme hatasına neden olur:

genel bir yapı tipi 'int' referans anlambilim var, ama ben gittim bir yapı

olup yani Götürmezse gerektirir

hata FS0332: Ben g tanımlamaya çalışırken bu benim kendi makinede çalıştı (mono F # 3.0 kullanarak, ama Visual Studio 2012 aynı sonucu almak) ve bambaşka bir hata aldı çözülemedi muğlaklık Bu program noktasında veya yakınında operatörün '(! =)' kullanımı. Belirsizliği gidermek için tür ek açıklamaları kullanmayı düşünün.

Neden bu kullanım != belirsiz ve neden bir hata? Ayrıca, neden !='un bu kullanımının neden belirsiz olduğu, ancak f'da = kullanımı neden değildir? Yeni hata, otomatik genellemenin beklediğim gibi çalışmadığı bir durumda beni uyarmada yardımcı oluyor. Ancak, bu F # derleyicisinin iki farklı sürümü arasında bir kırılma değişikliği gibi görünüyor. Bu hata iletilerinin her ikisi de aramaları boş döndü. İlgili görünen F# specification'da hiçbir şey görmedim. İlgili bölümlere işaretçiler yardımcı olabilir.

!= F # eşitsizlik operatörünün ismi olmadığını

Answer 1

Not <> olduğunu. Buna rağmen en örnekte = olarak mümkün olmalıdır <> kullanma

http://msdn.microsoft.com/en-us/library/dd233228.aspx

.

Answer 2

Varolan yanıt, kodun neden beklendiği gibi davranmadığını açıklıyor, bu yüzden hata mesajının ne söylemeye çalıştığına dair bir açıklama ekleyeyim. Bu durumda,

let fish x y = x <*>><< y 

:

F # özel operatörlerini destekler ve size bir işlev, örneğin balık operatörü kullanmayı deneyin başka (geçerli) operatörü sembolü için aynı hata iletisini alırsınız F # bir genel işlevi tanımlayamaz, çünkü .NET'in bir veya diğer bağımsız değişken türünün <*>><< operatörünü desteklediğini söyleyen genel kısıtlama belirtme yöntemi yoktur (.NET dilinde, kısıtlamanın türlerden biri olduğunu söylemesi gerekir. belirli bir statik yönteme ihtiyaç duyar).

Bu, karşılaştırma veya eşitlik için geçerli değildir (çünkü F # bunların bunları temsil etmenin bir yolu vardır). Ancak, + gibi bir şey kullanırsanız, yine de genel bir işlev almayacaksınız, ancak int'a özel bir işlev.Bu durumda, inline kullanmak ve jenerik bir fonksiyon yazabiliriz (+ operatör gerektirir):

let inline add x y = x + y 
add 1 2 
add 1.1 2.2 

Benzer şekilde, (balık veya != gibi) herhangi bir özel operatör gerektirir bir satır içi işlevi tanımlayın ancak olabilir hala herhangi bir standart tiple onu arayamazdı.