F# derleyicisi (oldukça) yukarıdan aşağıya, soldan sağa doğru sıkı bir şekilde yazın çıkarım gerçekleştirmek için görünür. Bu demektir yapman gereken şeyler gibi tüm tanımları önce kullanımı, sipariş dosyası derleme önemli ve eğilimi için gereken şeyleri yeniden düzenlemek () |> ya ne var) önlemek için olan açık tür açıklamalar.

Ne kadar zor bu daha esnek hale getirmek için, ve F gelecek sürüm için planlanmıştır.*? Açıkçası Haskell (örneğin) aynı derecede güçlü bir çıkarsama ile bu gibi kısıtlamalar olduğundan olabilir. Yok bir şey F tasarımı veya ideoloji hakkında temelde farklı olduğunu# bu neden oluyor?

Güçlü kesmesi", Haskell sanmıyorum başa çıkmak zorunda . aynı şekilde "Haskell ile ilgili

• OO tarzı dinamik kistlerinin alt tiplerinin belirlenmesindeki (tür sınıflar da buna benzer bir şeyler yapabilir, ama yazın dersleri/türü anlaması daha kolay olur)
• aşırı yükleme (tür sınıflar da buna benzer bir şeyler yapabilir, ama yazın dersleri/türü anlaması daha kolay olur) yöntemi

Yani, bence F# biraz zor şeylerle uğraşmak zorunda Haskell değil. (Neredeyse kesinlikle, Haskell F O biraz zor şeylerle uğraşmak zorunda# etmez.)

Diğer cevaplar, en büyük söz ettiriyor .NET dilleri var Visual Studio takım olarak büyük bir dil tasarımına etki (örneğin kaç SERİ var "seç ..." yerine SQL-y "seç...", motive olmaya ıntellisense bir program önek). Intellisense, hata dalgalı çizgiler ve hata iletisi anlaşılırlığı F bilgi veren tüm takım faktörlerdir# tasarım.

Daha iyi yapmak mümkün olabilir ve daha fazla (diğer deneyimleri ödün vermeden) gerçekleştirip, ama dile gelecek sürümleri için yüksek önceliklerimiz arasında olduğunu sanmıyorum. (Haskellers F görebilir# biraz zayıf, ama muhtemelen C sayıca üstün oldukları gibi tür kesmesi#F gören ers# çok güçlü olarak. yazın çıkarım :) )

Belki de sabit genişletmek tür kesmesi içinde olmayan en son moda; ok değiştirmek için illegal programlara yasal olanları bir gelecek sürümü, ama var olmak çok dikkatli sağlamak için daha önce yasal programları değiştirmeyin semantik altında yeni kesmesi kuralları ve ad çözümleme (korkunç bir kabusun içinde her dil) muhtemel etkileşim ile yazın çıkarım değişiklikler şaşırtıcı yolları.