«haskell» etiketlenmiş sorular

Temiz dil kullanan benzersizliği türlerini tamamen işlevsel bir ortamda I / O işlemek için. Neden Haskell komitesi bunun yerine monadlarla birlikte gitti ? Komisyonun araştırdığı ancak aleyhine karar verdiği durumu ele almak için başka öneriler var mıydı? Not : Monadlar ve diğer bilgisayar yöntemleri arasında kutsal bir savaş aramıyorum. Konuyu …

36 functional-programming  history  haskell 

C ve C # ile programlama konusunda rahatım ve gelecekte C ++ 'ı keşfedeceğim. İşlevsel programlamayı farklı bir programlama paradigması olarak keşfetmekle ilgilenebilirim. Bunu eğlenmek için yapıyorum, işim bilgisayar programlaması içermiyor ve bir miktar kolejde bilgisayar bilimi derslerinde oldukça erken öğretilen fonksiyonel programlama kullanımından ilham alıyor. Lambda matematiği kesinlikle matematiksel …

36 haskell  functional-programming  scheme 

Haskell'i fonksiyonel programlamayı anlamak amacıyla, diğer dillerde edindiğim içgörüyü uygulayacağım beklentisi ile inceliyorum (Groovy, Python, JavaScript ağırlıklı olarak). Haskell'i seçtim çünkü çok işlevsel olduğu ve devlete güvenmesine izin vermeyeceği izlenimini edindim. Haskell'i öğrenmeyi seçmedim çünkü son derece katı tip bir sistemde gezinmekle ilgileniyordum. Sorum şu: Güçlü bir tip sistem, son …

33 functional-programming  haskell  language-features  type-systems 

Terimbilimsel anlambilim (DS) hakkında biraz okudum ve türlerin ve işlevlerin matematiğe göre güçlü ve net eşlemelere sahip olduğu bilgisayar programları tasarlama süreci hakkında çok meraklıyım. DS'ye dayalı program tasarlamayı detaylı olarak tartışan herhangi bir kaynak var mı? Konuyla ilgili birkaç yüzeysel tedavi gördüm. Haskell, Scala, Common Lisp ve biraz Scheme …

30 scala  haskell  scheme 

Öyle görünüyor tembel değerlendirme ifadelerin kendi kod çalıştırıldığında sırayla üzerinde kaybetmek kontrolüne bir programcı neden olabilir. Bunun neden bir programcı tarafından kabul edilebilir veya arzu edildiğini anlama konusunda sorun yaşıyorum. Bu paradigma, bir ifadenin ne zaman ve nerede değerlendirileceğini garanti etmediğimizde, amaçlandığı şekilde çalışan öngörülebilir bir yazılım oluşturmak için nasıl …

30 functional-programming  haskell 

Fonksiyonel bir dil kullanarak deneysel bir projeye başlamak istiyorum ve Erlang ve Haskell arasındaki karar vermeye çalışıyorum ve her ikisinin de gerçekten sevdiğim bazı noktaları var. Haskell'in güçlü tip sistemini ve saflığını seviyorum. Gerçekten güvenilir kod yazmayı kolaylaştıracağına dair bir his var. Ve Haskell'in gücünün, yapmak istediklerimin bir kısmını daha …

30 functional-programming  haskell  erlang 

Bunun çok geniş, belirsiz ve muhtemelen felsefi bir soru olduğunu biliyorum. Bir dereceye kadar, "güçlü" tip sistem - sorudaki en önemli anahtar kelimenin kendisinin kötü tanımlanmış olduğu bir ölçüde . Öyleyse ne demek istediğimi açıklamaya çalışayım. Sorunun genel içeriği Ruby on Rails'de çok büyük ölçekli bir web uygulaması oluşturduk ve …

29 java  haskell  scala  type-systems  rust 

Haskell'i öğrenirken, Monad'ın ne olduğunu ve Haskell'de neden monadların önemli olduğunu açıklamaya çalışan birçok dersle karşılaştım. Her biri analojiyi kullandı, bu yüzden anlamı yakalamak daha kolaydı. Günün sonunda, bir monadın ne olduğuna dair 3 değişik görüş ortaya çıktı: 1 görüntüle: Monad bir etiket olarak Bazen bir monadın belirli bir tip …

29 functional-programming  haskell  monad  side-effect 

Haskell'de hiç tereddüt etmeyeceğim bir şey, geri dönüş tipi giriş türüyle belirlenemeyen polimorfik sabitleri ve fonksiyonları nasıl elde edebileceğinizdir. class Foo a where foo::Int -> a Bundan hoşlanmadığım nedenlerden bazıları: Referans şeffaflığı: "Haskell'de, aynı girdi verilirse, bir işlev her zaman aynı çıktıyı döndürür", ama bu gerçekten doğru mu? bağlamda read …

29 haskell  functional-programming 

Haskell'in neden basit bir kütüphane işlevi yerine türüne if/then/elsebağlı bir yerleşik Boolözelliği vardır? Gibi if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Yazılım Mühendisliği Stack Exchange için. 4 yıl önce kapandı . Tamamen İşlevsel Veri Yapıları okumak istiyorum. Tezi kolayca buldum (PDF olarak serbestçe erişilebilir) , fakat aynı zamanda bir …

25 books  functional-programming  data-structures  haskell 

Lisp, Clojure ve Haskell'de kullanılan "izin" in kökenlerini merak ediyordum. Önce hangi dilde göründüğünü bilen var mı?

24 history  haskell  lisp  clojure 

İşlevsel diller, tanımı gereği, durum değişkenlerini korumamalıdır. Öyleyse neden Haskell, Clojure ve diğerleri yazılım işlemsel bellek (STM) uygulamaları sağlıyor? İki yaklaşım arasında bir çatışma var mı?

24 functional-programming  haskell  clojure  stm 

Haskell'de küçük aletler yazma konusunda bazı deneyimlerim var ve özellikle interactstandart girişlerini işleyen ve standart çıkışa yönlendiren filtreler yazmak için kullanmayı çok sezgisel buluyorum . Geçenlerde böyle bir filtreyi normalden 10 kat daha büyük bir dosyada kullanmaya çalıştım ve bir Stack space overflowhata aldım . Biraz okuma yaptıktan sonra (örneğin …

23 programming-practices  haskell  stackoverflow 

Hindley-Milner'in alt sınıflara sahip tip sistemlerle çalışmadığını ve bununla iyi çalışmayan diğer tip sistem özelliklerinin olduğunu okudum . Go şu anda :=operatörde yalnızca çok sınırlı bir tür çıkarımı var . Ancak Go, geleneksel anlamda alt sınıflara sahip değildir, sadece Hindley-Milner çıkarımı ile iyi çalışan Haskell'in tipi sınıflarına çok benzeyen arayüzler …

22 haskell  type-systems  go