«haskell» etiketlenmiş sorular

Bu şartlar üniversite dersimde belirtildi. Çabuk googling beni bazı üniversite belgelerine işaret etti, ancak basit bir açıklama arıyorum.

22 functional-programming  haskell 

Haskell öğrenmek için çalışıyorum ve yazdığım fonksiyonlarda hatalarla başa çıkmak için üç farklı yolla karşılaştım: error "Some error message."Bir istisna atan basitçe yazabilirim . İşlev geri dönüşümü Maybe SomeTypeyapabilirim, geri dönmek istediğim şeyi geri verebilirim veya geri verebilirim. İşlevime geri döndürebilirim Either String SomeType, burada bir hata mesajı veya ilk …

22 haskell  error-handling 

Bunun için bazı teorik nedenler (tip kontrolü veya tip çıkarımının kararsız hale geleceği gibi) veya pratik sebepler (düzgün şekilde uygulanması çok zor) var mı? Şu anda, içine duruma hakim olabilir newtypegibi newtype Pair a = Pair (a, a) ve sonra Pair :: * -> * ama biz böyle bir şey …

22 haskell  abstraction  type-systems  lambda 

Y birleştiricisini Haskell bağlamında açıklarken, genellikle ileriye dönük uygulamanın özyinelemeli türü nedeniyle Haskell'de yazım denetimi yapmayacağı genellikle not edilir. Örneğin, Rosettacode'dan : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining a data type …

21 haskell  type-systems  static-typing  ocaml 

Eskiden Java geliştiricisiydim ama son zamanlarda Haskell ekibine katıldım. Java dünyasında, üzerinde birkaç ekip çalıştığı büyük bir projeniz varsa, ortak bir yaklaşım, gelişimi kolaylaştırmak ve hızlandırmak için Maven gibi bir yapay sunucu kullanmaktır. Ant, Maven, Gradle gibi çok sayıda oluşturma aracı, projeyi oluşturabilir ve ekibin geri kalanı tarafından ağrısız olarak …

20 java  haskell  maven  build-system 

Vektörler ve matrislerle ilgili bir kütüphane yazmak istediğimi varsayalım. Boyutları türlere dönüştürmek mümkün mü, böylece uyumsuz boyutların işlemleri derleme zamanında hata üretir mi? Örneğin, nokta ürününün imzasının aşağıdaki gibi olmasını istiyorum dotprod :: Num a, VecDim d => Vector a d -> Vector a d -> a burada dtür tek …

20 haskell  type-systems  type-safety 

Geçenlerde Büyük İyi için Haskell Öğrenin kılavuzundan geçiyorum ve uygulama olarak Project Euler Problem 5'i onunla çözmek istedim , bu da şunları belirtiyor: 1'den 20'ye kadar olan tüm sayılarla eşit olarak bölünebilen en küçük pozitif sayı nedir? Önce belirli bir sayının bu sayılarla bölünebilir olup olmadığını belirleyen bir işlev yazmaya …

20 haskell 

Haskell zaten başka bir tür (C ++ şablon programlama benzer) üzerinde bir tür parametreleme yeteneğine sahip biliyorum, ama Haskell de değerleri üzerinde bir tür parametrelerini olup olmadığını merak ediyorum - bağımlı türleri destekler. Bağımlı türlerde, tamsayılar üzerinden parametrelenen bir türe sahip olabilirsiniz, örneğin n boyutundaki vektörler, n × m boyutundaki …

20 haskell 

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. AS ve A seviye Matematik spesifikasyonu gibi derslere matematik öğretimi yapıyorum. Sınıf kitapları normal olarak matematik görevlerine uygulanan bilgisayar yazılımı örnekleri sağlar, ancak normal olarak mathlab, mathematica …

19 haskell 

Kapalı . Bu sorunun daha fazla odaklanması gerekiyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Soruyu, yalnızca bu yayını düzenleyerek tek bir soruna odaklanacak şekilde güncelleyin . 5 yıl önce kapalı . Haskell için Happstack , Snap ve Yesod gibi birkaç web çerçevesi ve muhtemelen birkaç …

19 web-development  experience  comparison  web-framework  haskell 

Kalıcılıkla başa çıkmak için komut işleyicilerini kullanma şekli, IO ile ilgili kodu olabildiğince inceltmek istediğimiz tamamen işlevsel bir dile nasıl sığar? Etki Alanına Dayalı Tasarım'ı nesne yönelimli bir dilde uygularken, durum değişikliklerini yürütmek için Komut / İşleyici desenini kullanmak yaygındır . Bu tasarımda, komut işleyicileri etki alanı nesnelerinizin üstünde bulunur …

18 c#  architecture  functional-programming  domain-driven-design  haskell 

Son zamanlarda özellikle daha önce Haskell ve F #, fonksiyonel programlama üzerinde çalışıyorum. Bazı googling sonra daha belirgin fonksiyonel diller (Scala, F # vb) bir karşılaştırma karşılaştırma bulamadık. Hibrit oldukları göz önüne alındığında, bazı diller için adil olmayacağını biliyorum (Scala akla geliyor), ama sadece hangi operasyonlarda ve genel olarak hangisinin …

18 functional-programming  scala  haskell  f#  benchmarking 

Son zamanlarda Haskell'in kayıtlarında, özellikle de alan adlarının benzersizliğinde bir kez daha tökezledim. (Bu bir acı...) SPJ ve Greg Morrisett'den Haskell'deki kayıtlar için bir teklif okudum , ancak son güncellemesi 2003'te yapıldı. SPJ ve Mark Jones'tan Haskell için Hafif Genişletilebilir Kayıtlar adlı başka bir makale daha da eski: 1999'da bir …

18 haskell  language-features 

Haskell öğreniyorum ve bir egzersiz olarak ikili ağaçlar yapıyorum. Düzenli bir ikili ağaç yaptıktan sonra, kendini dengeleyecek şekilde uyarlamak istiyorum. Yani: Hangisi en verimli? Hangisini uygulamak en kolay? En çok hangisi kullanılır? Ama en önemlisi, hangisini önerirsiniz? Bunun buraya ait olduğunu düşünüyorum çünkü tartışmaya açık.

18 haskell  functional-programming  data-structures  binary-tree 

Etrafta dolaştığım bir öğrenme probleminde, uygulama, besteleme vb. İşlemleri için bir tip sınıfına ihtiyacım olduğunu fark ettim. Bir işlevin temsilini, sanki işlevin kendisiymiş gibi ele almak uygun olabilir, böylece işlevin dolaylı olarak uygulanması bir yorumlayıcı kullanır ve işlevler oluşturmak yeni bir açıklama oluşturur. Fonksiyonlar için bir tip sınıfınız olduğunda, özel …

17 haskell  standard-library