Muhtemelen saflığın bir sonucu olan ancak daha az bahsettiğim kadarıyla büyük bir fark, monadların yaygın kullanımıdır. Sıklıkla belirtildiği gibi, monadlar herhangi bir dilde inşa edilebilir, ancak kütüphanelerde yaygın olarak kullanıldıklarında yaşam büyük ölçüde değişir ve bunları kendiniz kullanırsınız.
Monadlar, diğer dillerde çok daha sınırlı bir şekilde görülen bir şeyi sağlar: akış kontrolünün soyutlanması. Her türlü şeyi yapmanın inanılmaz derecede kullanışlı ve zarif yolları ve bir yıllık Haskell, programlama yöntemimi tamamen değiştirdi, tıpkı yıllar önce zorunlu programlamadan OO programlamaya geçmenin onu değiştirdiği gibi veya çok daha sonra, üst düzey işlevleri kullanmak yaptı.
Ne yazık ki, böyle bir alanda, farkın ne olduğunu görmenize izin verecek kadar anlayış sağlamanın bir yolu yoktur. Aslında, hiçbir yazı bunu yapmaz; gerçek bir anlayış kazanmak için kod öğrenmek ve yazmak için yeterli zaman harcamanız yeterlidir.
Ayrıca, .NET platformu / kitaplıkları ile arabirim oluşturduğunuzda, F # bazen biraz daha az işlevsel veya daha garip hale gelebilir (işlevsel programlama bakış açısından), çünkü kitaplıklar açıkça OO açısından tasarlandı.
Yani kararınızı şu şekilde düşünebilirsiniz: hızlı, nispeten küçük bir gelişme artışı elde etmek için bu dillerden birini mi denemeye çalışıyorsunuz yoksa daha fazla zaman ayırıp daha büyük bir şey için daha az anında fayda mı elde etmek istiyorsunuz Uzun dönem. (Ya da en azından, daha büyük bir şey elde edemezseniz, diğerine hızlı bir şekilde geçme yeteneği?) Birincisi, F # sizin seçiminizse, ikincisi ise Haskell.
Birkaç alakasız nokta:
Haskell'in tasarımcıları ML'yi oldukça iyi bildiği için Haskell'in biraz daha hoş sözdizimi var, bu da sürpriz değil. Bununla birlikte, F # 's' hafif 'sözdizimi, makine öğrenimi sözdizimini geliştirmek için uzun bir yol kat ediyor, bu nedenle burada çok büyük bir boşluk yok.
Platformlar açısından, F # elbette .NET'dir; Bunun Mono'da ne kadar işe yarayacağını bilmiyorum. GHC, kendi çalışma zamanına sahip makine kodunu derler, hem Windows hem de Unix altında iyi çalışır, bu da .NET ile aynı şekilde C ++ ile karşılaştırılır. Bu, bazı durumlarda, özellikle hız ve daha düşük seviyeli makine erişimi açısından bir avantaj olabilir. (Haskell / GHC'de bir DDE sunucusu yazmakta sorun yaşamadım, örneğin; bunu herhangi bir .NET dilinde yapabileceğinizi düşünmüyorum ve ne olursa olsun, MS kesinlikle bunu yapmanızı istemiyor.)