Haskell gerçek dünyada ne için kullanılır? [kapalı]

Haskell çevresinde çok fazla hype var, ancak gerçek dünya uygulamalarında nasıl kullanıldığı hakkında bilgi almak zor. Haskell'in en popüler projeleri / kullanımları nelerdir ve neden bu sorunları çözmede mükemmeldir?

Bu dilin bazı yaygın kullanımları nelerdir?

Hızlı uygulama geliştirme.

"Neden Haskell?" Bilmek istiyorsanız, fonksiyonel programlama dillerinin avantajlarını ( https://c2.com/cgi/wiki?AdvantagesOfFunctionalProgramming adresinden alınmıştır ) düşünmeniz gerekir :

• Fonksiyonel programlar, ImperativeLanguage meslektaşlarına göre çok daha kısadır. Bu genellikle programcı verimliliğinin artmasına neden olur

• FP hızlı prototiplemeyi teşvik eder. Bu nedenle, ExtremeProgrammers için en iyi yazılım tasarımı paradigması olduğunu düşünüyorum ... ama ne biliyorum?

• FP, ObjectOrientedProgramming'in farklı bileşenlerin boyutunda modüler olduğu işlevsellik boyutunda modülerdir.

• Kek yapma ve yemek yeteneği. İletileri işleyen karmaşık bir OO sistemi olduğunu düşünün - her bileşen iletiye bağlı olarak durum değişiklikleri yapabilir ve ardından iletiyi bağlantılarının bulunduğu bazı nesnelere yönlendirebilir. Çağrı hiyerarşisinde derin bir nesne mesajın kusurlu olduğuna karar verdiyse, her değişikliği kolayca geri alabilmek çok güzel olmaz mı? Farklı devletlerin geçmişine sahip olmaya ne dersiniz?

• Sizin için yapılan pek çok temizlik görevi: veri yapılarının yapısını bozmak (PatternMatching), değişken bağlamaları (kapaklı LexicalScope) depolamak, güçlü yazma (TypeInference), GarbageCollection, depolama ayırma, kutulu (işaretçi-değere) veya doğrudan kutulu (doğrudan değer) ) temsil ...

• Güvenli çoklu kullanım! Değişmez veri yapıları veri yarışı koşullarına tabi değildir ve sonuç olarak kilitlerle korunmaları gerekmez. Mevcut nesneleri yıkıcı bir şekilde değiştirmek yerine her zaman yeni nesneler tahsis ediyorsanız, kilitleme ayırma ve GarbageCollection sisteminde gizlenebilir.

Bunun dışında Haskell'in kendine özgü avantajları vardır:

• Matematiksel gösterimden esinlenilen açık, sezgisel sözdizimi.
• Mevcut listelere dayalı bir liste oluşturmak için kavrayışları listeleyin.
• Lambda ifadeleri: açık adlar vermeden işlevler oluşturun. Bu nedenle büyük formülleri kullanmak daha kolaydır.
• Haskell tamamen referans olarak şeffaftır . G / Ç kullanan tüm kodlar bu şekilde işaretlenmelidir. Bu şekilde, yan etkileri olan kodu (örn. Ekrana metin koymak) olmadan (hesaplamalar) koddan ayırmanızı önerir.
• Tembel değerlendirme gerçekten güzel bir özelliktir:
  • Bir şey genellikle hataya neden olsa bile, sonucu kullanmadığınız sürece yine de çalışır. Örneğin, 1 / 0bir listenin ilk öğesi olarak koyabilirsiniz ve yalnızca ikinci öğeyi kullandıysanız da çalışmaya devam eder.
  • Bu sudoku çözücü gibi arama programları yazmak daha kolaydır, çünkü her kombinasyonu aynı anda yüklemez - sadece ilerledikçe üretir. Bunu başka dillerde de yapabilirsiniz, ancak bunu varsayılan olarak yalnızca Haskell yapar .

Aşağıdaki bağlantılara göz atabilirsiniz:

• https://c2.com/cgi/wiki?AdvantagesOfFunctionalProgramming
• https://docs.microsoft.com/archive/blogs/wesdyer/why-functional-programming-is-important-in-a-mixed-environment
• https://web.archive.org/web/20160626145828/http://blog.kickino.org/archives/2007/05/22/T22_34_16/
• https://useless-factor.blogspot.com/2007/05/advantage-of-functional-programming.html

Bence bu yazıdaki insanlar hiç işlevsel bir programlama dili kullanmayan herkes için en önemli noktayı kaçırıyor: zihninizi genişletmek. Fonksiyonel programlamaya yeniyseniz Haskell size daha önce hiç düşünmediğiniz şekilde düşünmenizi sağlayacaktır. Sonuç olarak, diğer alanlarda ve diğer dillerde programlamanız gelişir. Ne kadar? Ölçülmesi zor.

Haskell gibi genel amaçlı bir dilin neye iyi geldiğine dair iyi bir cevap var: genel olarak programlar yazmak.

Pratikte ne için kullanıldığı için, bunu oluşturmak için üç yaklaşımım var:

• Hackage frekansına göre ağırlıklandırılmış Haskell kütüphanesi ve uygulama alanlarının etiket bulutu .

Grafik, ağ, sistem programlama, veri yapıları, veri tabanları, geliştirme, metin işleme için iyi olduğunu gösterir ...

• Endüstride kullanıldığı alanlar - birçok DSL, web uygulaması, derleyici tasarımı, ağ oluşturma, analiz, sistem programlama, ...

Ve son olarak, neyin gerçekten güçlü olduğuna dair fikrim:

• Doğruluğun önemi, alana özgü diller ve paralel ve eşzamanlı programlama sorunları

Umarım bu, herhangi bir özgüllükle cevaplanacaksa, sorunuzun ne kadar geniş olduğuna dair bir fikir verir.

Çalışan Haskell'in bir örneği xmonad "kod az 1200 hatlarında özellikli bir pencere yöneticisi" terimi, bir.

Gönderen Haskell Wiki :

Haskell, havacılık ve savunma, finans, web girişimleri, donanım tasarım firmaları ve çim biçme makinesi üreticilerine kadar çeşitli ticari kullanım alanlarına sahiptir. Bu sayfa Haskell'in endüstriyel kullanımı ile ilgili kaynakları toplamaktadır.

Wikipedia'ya göre Haskell dili, mevcut işlevsel dillerin, fonksiyonel dil tasarımında gelecekteki araştırmalar için kullanılabilecek ortak bir dilde birleştirilmesi ihtiyacından yaratıldı.

Mevcut amacı gereğinden fazla büyüdüğü ve araştırmadan çok daha fazlası için kullanıldığı mevcut bilgilere dayanmaktadır. Şimdi genel amaçlı fonksiyonel programlama dili olarak kabul edilmektedir.

Kendinize hala "Neden kullanmalıyım?" Diye soruyorsanız, Neden kullanmalısınız? Wiki Giriş bölümü.

Haskell genel amaçlı bir programlama dilidir. Başka bir dili kullandığınız her şey için kullanılabilir. Kendi hayal gücünüz dışında hiçbir şeyle sınırlı değilsiniz. Ne için uygun? Hemen hemen her şey. İşlevsel bir dilin mükemmel olmadığı birkaç görev vardır.

Ve evet, ben Dreamincode'dan Rayne. :)

Vikipedi sayfasını okumadığınız takdirde, işlevsel programlamanın Nesne Odaklı programlama bir paradigma gibi bir paradigma olduğunu belirtmek isterim. Sadece bilmiyorsan. Haskell de çalıştığı gibi işlevsel; bu konuda gayet iyi çalışıyor.

Bir dilin Nesneye Yönelik bir dil olmaması, dilin herhangi bir şeyle sınırlı olduğu anlamına gelmez. Haskell genel amaçlı bir programlama dilidir ve Java kadar genel bir amaçtır.

Serin bir tane var, facebook PHP kodunu yeniden yazmak için otomatik bir araç oluşturdu. Kaynağı soyut bir sözdizimi ağacına ayrıştırırlar, bazı dönüşümler yaparlar:

if ($f == false) -> if (false == $f)

Nedenini bilmiyorum, ama bu onların özel tarzı gibi görünüyor ve sonra oldukça yazdırıyorlar.

https://github.com/facebook/lex-pass

Küçük etki alanına özgü diller oluşturmak için haskell kullanıyoruz. Büyük miktarda veri işleme. Web Geliştirme. Web örümcekleri. Test uygulamaları. Sistem yönetimi komut dosyaları yazma. Diğer taraflarla iletişim kuran arka uç komut dosyaları. İzleme komut dosyaları (munin ile birlikte iyi çalışan bir DSL'imiz var, uygulamalarınız için doğru monitör kodunun yazılmasını çok daha kolay hale getiriyor.)

Aslında her türlü şey. Matematiksel olarak eğimli iseniz, çok güçlü ve kullanışlı özelliklere sahip sadece günlük bir genel amaçlı dildir.

Gönderen Haskell :

Haskell, katı olmayan anlambilim ve güçlü statik yazarak standartlaştırılmış, genel amaçlı tamamen işlevsel bir programlama dilidir . Bu, isimlendirici Haskell Curry'den almıştır.

Temel olarak Haskell, diğer genel amaçlı dilleri (örneğin C #, Java, C, C ++, vb.) Kullanarak oluşturacağınız hemen hemen her şeyi oluşturmak için kullanılabilir.

Örneğin, etkileşimli, gerçek zamanlı HTML5 web uygulamaları geliştirmek için. Bkz Elm Haskell ve Haskell çok şey ödünç hangi sözdizimi uygulanan derleyici hangi.

Bu Haskell ve kullanımları hakkında bilgi için oldukça iyi bir kaynaktır:

Açık Kaynak Haskell Sürümleri ve Büyüme