«haskell» etiketlenmiş sorular

Kısa bir süre önce Haskell'e baktığımızda, bir monadın esasen ne olduğu hakkında kısa, özlü ve pratik bir açıklama ne olurdu ? Karşılaştığım açıklamaların çoğuna erişilemez ve pratik detaylardan yoksun buldum.

1415 haskell  functional-programming  monads  terminology 

Ben yemin bir orada kullanılan tişört ölümsüz sözleri içeren satılık: Hangi bölümü Eğer do not anladın mı? Benim durumumda, cevap ... hepsi olurdu! Özellikle, Haskell gazetelerinde genellikle böyle bir gösterim görüyorum, ancak bunların ne anlama geldiğine dair hiçbir fikrim yok. Matematiğin hangi dalında olması gerektiği hakkında hiçbir fikrim yok. Tabii …

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

Bu sorunun cevapları bir toplum çabasıdır . Bu yayını iyileştirmek için mevcut yanıtları düzenleyin. Şu anda yeni yanıtları veya etkileşimleri kabul etmiyor. Birkaç gün boyunca başımı Haskell'deki fonksiyonel programlama paradigmasının etrafına sarmaya çalıştım. Bunu öğreticileri okuyarak ve ekran görüntülerini izleyerek yaptım, ama hiçbir şey gerçekten yapışmıyor gibi görünüyor. Şimdi, çeşitli …

755 haskell  functional-programming 

Aşağıdakileri ilk kim söyledi? Bir monad, endofunktörler kategorisinde sadece bir monoid, sorun nedir? Ve daha az önemli bir notta, bu doğru mu ve eğer öyleyse bir açıklama yapabilir misiniz (umarım çok fazla Haskell deneyimi olmayan biri tarafından anlaşılabilir)?

723 haskell  monads  category-theory  monoids 

Nokta (.)ve dolar işareti arasındaki fark nedir ($)? Anladığım kadarıyla, ikisi de parantez kullanmamaları nedeniyle sözdizimsel şekerdir.

711 haskell  syntax  function-composition 

Ben almış bir problemi # 12 dan Projesi Euler bir programlama egzersiz ve C, Python, Erlang ve Haskell uygulamaları benim (mutlaka değil optimal olan) karşılaştırmak. Daha yüksek yürütme süreleri elde etmek için, orijinal problemde belirtildiği gibi 500 yerine 1000'den fazla bölücü içeren ilk üçgen numarasını ararım. Sonuç şudur: C: lorenzo@enzo:~/erlang$ …

672 python  c  performance  haskell  erlang 

İtiraf etmeliyim ki fonksiyonel programlama hakkında fazla bir şey bilmiyorum. Buradan ve buradan okudum ve böylece fonksiyonel programlamada, bir fonksiyonun, kaç kez çağrıldığına bakılmaksızın, aynı girdi için aynı çıktıyı döndürdüğünü öğrendim. Tam olarak, fonksiyon ifadesinde yer alan giriş parametrelerinin aynı değeri için aynı çıktıyı değerlendiren matematiksel bir fonksiyon gibidir. Örneğin, …

646 scala  haskell  f#  functional-programming  clean-language 

Kapalı . Bu sorunun daha fazla odaklanması gerekiyor . Şu anda cevapları kabul etmiyor. 3 yıl önce kapalı . Kilitli . Bu soru ve cevapları kilitlidir çünkü soru konu dışıdır, ancak tarihsel önemi vardır. Şu anda yeni yanıtları veya etkileşimleri kabul etmiyor. Özellikle Haskell'de büyük fonksiyonel programlar tasarlamak / yapılandırmak …

565 haskell  functional-programming  monads  large-scale 

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 6 yıl önce 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 …

475 haskell  functional-programming  programming-languages 

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 2 yıl önce kapalı . Geçenlerde FP hatasını yakaladım (Haskell öğrenmeye çalışıyorum) ve şimdiye kadar gördüklerimden çok etkilendim (birinci sınıf fonksiyonlar, tembel …

404 user-interface  haskell  f#  functional-programming 

Gönderen docs ghc 7.6 için: [Y] Genellikle ilk etapta UZMANLIK pragmasına bile ihtiyaç duymazsınız. Bir modül M derlenirken, GHC'nin iyileştiricisi (-O ile) M'de bildirilen her üst düzey aşırı yük fonksiyonunu otomatik olarak dikkate alır ve M'de çağrıldığı farklı tipler için uzmanlaşır. İyileştirici ayrıca içe aktarılan her INLINABLE aşırı yük fonksiyonunu, …

392 haskell  ghc 

Terimin gördüğüm Ücretsiz Monad açılır her şimdi ve sonra bir süre, ama herkes sadece / kullanmak ne olduklarını bir açıklama vermeden bunları tartışmak gibi görünüyor. Peki: ücretsiz monadlar nelerdir? (Monad'lara ve Haskell temellerine aşina olduğumu söyleyebilirim, ancak kategori teorisi hakkında çok kaba bir bilgiye sahibim.)

368 haskell  monads  free-monad 

Benim düşünceme göre, ünlü "Monad nedir?" özellikle de en çok oylananlar, monad'ların neden gerçekten gerekli olduğunu açıkça açıklamadan bir monadın ne olduğunu açıklamaya çalışın . Bir sorunun çözümü olarak açıklanabilirler mi?

366 haskell  monads 

Şu anda olduğu gibi, bu soru Soru-Cevap formatımıza uygun değil. Yanıtların gerçekler, referanslar veya uzmanlık tarafından desteklenmesini bekliyoruz, ancak bu soru muhtemelen tartışma, tartışma, oylama veya genişletilmiş tartışma talep edecektir. Bu sorunun çözülebileceğini ve muhtemelen yeniden açılabileceğini düşünüyorsanız, yardım için yardım merkezini ziyaret edin . 7 yıl önce kapalı . …

347 haskell  coding-style  open-source 

Fonksiyonel programlama ve PLT çevrelerinde, özellikle tartışmalar nesneler, komonadlar, lensler ve benzerleriyle ilgili olduğunda, "kömürgebralar" terimini birkaç kez duydum. Bu terimi araştırmak, bu yapıların benim için neredeyse anlaşılmaz olan matematiksel açıklamasını veren sayfalar veriyor. Herhangi biri kömür bağlamında programlama bağlamında ne anlama geldiğini, önemlerinin ne olduğunu ve nesnelerle komonadlarla nasıl …

339 scala  haskell  functional-programming  category-theory  recursion-schemes