Haskell'in herhangi bir olumsuz tarafı ya da sorunu var mı?

Bir sonraki (nispeten önemsiz) kişisel projem için Haskell'e dalmak istiyorum. Haskell ile başa çıkmamın nedenleri:

1. Kafamı tamamen işlevsel bir dile sokun
2. Hız. Bunun tartışılabileceğinden emin olduğum halde profiller C ++ 'a yakın Haskell çivileri gördüm (ve Erlang'dan biraz daha hızlı görünüyor).
3. Hız. Warp web sunucusu hemen hemen her şeyle karşılaştırıldığında hızlı bir şekilde delice görünüyor .

Yani, buna bakıldığında, aradığım şey Haskell ile birlikte gelen olumsuzluklar veya problemler. Web'in neden Haskell'in İyi Bir Şey olduğu hakkında muazzam miktarda bilgi var, ancak çirkin tarafı hakkında pek fazla konu bulamadım (hiç umrumda olmayan sözdizimi ile ilgili sıkıntılar dışında).

Aradığım şeyin bir örneği Python'un GIL'i gibi olabilir. Gerçekten bir CPython ortamında eşzamanlılığı kullanmaya başlayana kadar kafasını desteklemeyen bir şey.

Aklıma gelen birkaç olumsuzluk:

• Dilin doğası ve akademik dünyadaki sağlam kökleri nedeniyle, topluluk çok matematik düşünür; Eğer pragmatik biriyseniz, bu zaman zaman çok zor olabilir ve jargon konuşamıyorsanız, diğer birçok dilden daha zor bir zamana sahip olacaksınız.
• İnanılmaz bir kütüphane zenginliği varken, dokümantasyon çoğu zaman tersinedir.
• Nazik giriş seviyesi dersleri bulmak çok az ve zordur, bu nedenle ilk öğrenme eğrisi oldukça diktir.
• Birkaç dil özelliği gereksiz yere sakar; belirgin bir örnek, kayıt sözdiziminin nasıl bir adlandırma kapsamı getirmediğidir, bu nedenle aynı kayıt alanı adına aynı modül ad alanı içinde iki farklı tipte sahip olmanın bir yolu yoktur.
• Haskell tembel değerlendirmeyi temerrüde düşürür ve bu çoğu zaman harika bir şey olsa da, bazen iğrenç şekillerde sizi ısırır. Tembel değerlendirmeyi önemsiz olmayan durumlarda saf olarak kullanmak, gereksiz performans darboğazlarına neden olabilir ve kaputun altında neler olup bittiğini anlamak kolay değildir.
• Tembel değerlendirme (özellikle saflıkla ve agresif bir şekilde optimize eden bir derleyiciyle birleştirilir), aynı zamanda, yürütme emri için kolayca sebep olamayacağınız anlamına gelir; Aslında, belli bir kod parçasının belirli bir durumda gerçekten değerlendirilip değerlendirilmediğini bile bilmiyorsunuz. Sonuç olarak, Haskell kodunun hata ayıklaması farklı bir zihniyet gerektirir, çünkü yalnızca kodunuzda adım atmak daha az kullanışlı ve daha az anlamlıysa.
• Haskell'in saflığı nedeniyle, G / Ç gibi şeyler yapmak için yan etkileri kullanamazsınız; Etkileşim sağlamak için bir monad ve 'kötüye kullanım' tembel değerlendirmesi kullanmanız ve monadik bağlamı G / Ç yapmak isteyebileceğiniz herhangi bir yere sürüklemeniz gerekir. (Bu aslında pek çok yönden iyi bir özelliktir, ancak pragmatik kodlamayı zaman zaman imkansız hale getirir.)

Haskell'in dezavantajlarının çoğu (Haskell'in başının da çoğu gibi) iki belirleyici özelliğinden kaynaklanmaktadır: Tembel ve tamamen işlevseldir.

Tembel olmak, performansın nedenini zorlaştırır. Özellikle tembellikten hoşlanmayan insanlar için, ama deneyimli Haskellers için bile, tembellikten bazı durumlarda performansı nasıl etkileyeceğini görmek zor olabilir.

Tembellik, Kriter gibi kütüphaneleri kullanmadan doğru kıyaslamalar oluşturmanın daha zor olduğu anlamına gelir.

Tamamen işlevsel olmak, ne zaman değişken veri yapıları kullanmanız gerektiğine (istediğiniz performansın onlarsız elde edilmesinin mümkün olmadığı durumlarda - GHC'nin düşündüğünüz kadar sık ​​gerçekleşmeyen optimizeri sayesinde) olacağınız anlamına gelir. IO (veya ST) monadına sıkışmış, bu da kodu daha hantal hale getiriyor.

Hızınızdan hedeflerinizden biri olarak bahsettiğinizden beri, el ile optimize edilmiş Haskell kodu ile performansa çok fazla düşünmeden yazılan Haskell kodu arasında performansta genellikle büyük farklılıklar olduğunu belirtmeliyim. Ve elle optimize edilmiş Haskell kodu genellikle oldukça çirkindir (sanırım bunun diğer dillerde de geçerli olduğunu düşünüyorum).

Bir Haskell uzmanı değilim: Temel bilgileri öğrendim ancak ne yazık ki Haskell'de ciddi bir proje yapma şansım olmadı (ancak bu dili çok seviyorum çünkü istiyorum).

Ancak, bildiğim kadarıyla ve işlevsel programlamaya oldukça yakın bir alanda çalışan birisiyle yapılan bir tartışmadan, Haskell, örneğin grafikleri taramanız ve gerçekleştirmeniz gereken grafik algoritmalarını uygulamak istediğinizde en iyi çözüm olmayabilir. grafik yapısında birçok yerel değişiklik.

Bir grafik genel olarak özyinelemeli bir yapıya sahip olmadığı için, benim düşüncem, en iyi yaklaşımın, aralarındaki yapıları ve işaretçileri (örneğin C ++ 'da yapabildiğiniz gibi) kullanarak grafiğin bir kopyasını oluşturmak ve işaretçileri değiştirerek manipüle etmektir. düğüm oluşturma, yok etme vb.

Haskell'deki bu tür veri yapılarının ve işlemlerinin nasıl doğru bir şekilde ele alınabileceğini merak ediyorum, çünkü Haskell'deki bilgim nedeniyle yukarıdaki gösterimi / yaklaşımı kullanmak mümkün değil. Bu makalede Haskell'deki grafik algoritmaları ile ilgili bazı problemler kısaca açıklanmıştır.

DÜZENLE

Geçenlerde fonksiyonel programlama uzmanıyla konuştum ve belirli grafik algoritmasını etkin bir şekilde uygulamanın Haskell'de oldukça zor olabileceğini onayladı: C veya C ++ 'da yaptığınız gibi işaretçiler arasında dolaşmak çok daha hızlı olabilir.

Haskell'in aşağı tarafı farklı. Daha yaygın olarak öğretilen veya konuşulan dillerden daha büyük bir adımdır, bu nedenle daha büyük bir öğrenme eğrisi olacaktır. Ayrıca, sıkışırsanız, yardımın kullanılabilirliğini sınırlayabilen bir dilde daha az popülerdir. Bunlar gerçekten de büyük dezavantajları değildir.

Potansiyel bir dezavantajı olan bir şey işlevsel bir dil olmasıdır, bu nedenle belirli sorun alanları için daha az faydalıdır, ancak bu nesne yönelimli diller için de geçerlidir. Genellikle diller, öğrenme eğrilerinin ötesinde, en azından nispeten popüler olan diller için gerçek olumsuzluklara sahip değildir. Bir dil tamamlandığı sürece, teorik olarak her şeyi yapabilir.

Yani, buna bakıldığında, aradığım şey Haskell ile birlikte gelen olumsuzluklar veya problemler.

“Haskell ile ilgili problemler” belirli alanlarda ortaya çıkma eğilimindedir. Haskell, uygulama programlaması için harika bir dildir, yazmaktan başka bir şey yapmamaktan çok daha keyiflidir. Desteklenmeyen bir şey yapmaya çalıştığınızda, örneğin, şu gibi şeyler ortaya çıkma eğilimindedir:

• Çapraz derleme GHC bir çapraz derleyici olarak oluşturulabilir, ancak bu süreç oldukça karmaşıktır.
• Gömülü uygulamalar. Haskell'in bir çöp toplayıcı aracılığıyla hafıza yönetimi var, bu yüzden bu çok şaşırtıcı değil.
• Hız. Haskell, Rust kadar hızlı değildir, ancak çoğu durumda oldukça iyi rekabet eder. Uygulama alanına büyük ölçüde bağlıdır - saf hesaplamalar iyi bir şekilde optimize edilir, ancak “bir dosyayı bir arabellekte oku ve satır sayısını say” gibi bir şey Haskell'de ifade etmek zordur.