«haskell» etiketlenmiş sorular

Her zaman bahsedilen yazılım işlem belleğinin en büyük avantajlarından biri, birleştirilebilirlik ve modülerliktir. Daha büyük bileşenler üretmek için farklı fragmanlar birleştirilebilir. Kilit tabanlı programlarda, durum genellikle böyle değildir. Bunu gerçek kod ile gösteren basit bir örnek arıyorum. Clojure'da bir örnek tercih ederim, ama Haskell de iyi. Örnek ayrıca kolayca oluşturulamayan …

11 haskell  clojure  stm 

Aşağıdaki bildirim bir hata veriyor: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to …

11 haskell 

İşlevsel programlamayı öğreniyorum ve bazı özel senaryoların ödev kullanmadan nasıl uygulandığını anlamada sorun yaşıyorum. Aşağıdaki basit problem kafa karışıklığımı özetliyor. Belirli bir veri yapısındaki değişikliklerle ilgili olayları alan ve bu veri yapısı belirli bir duruma ulaştığında olayları yayan bir program yazın. Bu yüzden benim koruduğum veri yapısının bir kopyası var …

10 functional-programming  haskell  reactive 

Haskell temel dili gerçekten basit. Bir OO geçmişinden gelen temel zorluk, saf işlevsel paradigmaya uyum sağlamaktır. "Temel" Haskell öğrenirken, dil uzantılarını her zaman CS insanları için oyuncaklar veya dilin gelecekteki sürümleri için (python'da olduğu gibi) deneyler olarak gördüm from future import ???. Ancak, Yesod gibi web çerçevelerine bakmaya başladığımda, 3 …

10 haskell 

Şimdi Racket'in türleri olduğunu görüyorum. İlk bakışta Haskell tiplemesiyle neredeyse aynı görünüyor. Peki Lisp'in CLOS Haskell tiplerinin kapsadığı bazı alanları kapsıyor mu? Herhangi bir OO dilinde çok katı bir Haskell türü ve bir nesne oluşturmak belirsiz bir şekilde benzer görünüyor. Sadece Haskell kool-yardımının bir kısmını içtim ve Lisp yoluna gidersem …

10 haskell  scheme  common-lisp 

Fonksiyonel programlama hakkında birçok kitap ve makale okudum ve hala bazı çok temel kavramları kesin olarak anlayamamaktan utanıyorum. Fonksiyonel programlamanın ana fikirlerinden biri, aynı girdinin daima aynı çıktıyı üretmesidir. Bu nedenle, diyelim ki, veritabanı sorgulama veya dosya yazma, tanım gereği tamamen işlevsel bir tarzda yapılamadı. Örneğin, monadlara ihtiyacımızın nedenlerinden biri …

10 language-agnostic  functional-programming  haskell 

Ruby'nin yerleşik iyi liste operasyon yeteneklerine sahip olduğu göz önüne alındığında, azaltma, haritalama, seçme, toplama vb each. tüm Ruby eşyalarımı mümkün olan en saf şekilde mi yazacaksın? Özellikle G / Ç çok az olan veya hiç olmayan kod için (bu nedenle daha az belirgin yan etkiler)? Haskell'i ('Hacker'ın dili olarak …

10 ruby  haskell  functional-programming 

Herhangi bir Sınırlı örneğin Enum'un aklı başında bir uygulaması olmalı gibi görünüyor. Şahsen bir karşı örnek düşünemiyorum, ancak eğer birisi patolojik olmayan biriyle gelirse, neden böyle olmadığını anlayacağım. :iİki tip sınıfta yaptığından , şu anda standart kütüphanede tek istisna, Sınırlı olan ancak Numaralandırmalar olmayan tuples için olduğu görülüyor. Bununla birlikte, …

9 haskell  typeclass 

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 . 4 yıl önce kapalı . Wadler'in Fonksiyonel Programlama için Monads (Haskell) hakkındaki orijinal makalesi, Uzun bir geçmişe sahip başka …

9 haskell  lisp  virtual-machine  computer-architecture  lisp-machine 

Go'nun aslında ML veya Haskell gibi fonksiyonel dillerin sahip olduğu anlamında gerçek bir tür çıkarımın olmadığını okudum, ancak iki versiyonun karşılaştırmasını anlamak için basit bir şey bulamadım. Birisi Go'daki tür çıkarımının Haskell'deki tür çıkarımından ve her birinin artı / eksilerinden nasıl farklı olduğunu açıklayabilir mi?

9 haskell  type-systems  go 

Son zamanlarda Haskell ile derinden ilgilenmeye başladım. Genel olarak yeni kavramlar (örneğin forall anahtar kelimesi ve ST monad ) ve Haskell'in tip sistemini öğrenmeye çalışırken , sürekli olarak kategori teorisi ve lambda hesabından kavramlarla karşılaşıyorum . Merak ediyorum: Haskell'in tip sisteminin güçlü bir şekilde anlaşılması için başka hangi matematik dalları …

9 programming-languages  functional-programming  math  haskell  type-systems 

Haskell'de bir web servisi için bir bellek içi veri deposu uygulamak istiyorum. STMMonad'da işlem yapmak istiyorum . Ben google hash tablo buhar Haskell zaman ben sadece bunu almak: Data. BTree. HashTable. STM.Modül adı ve karmaşıklıkları bu bir ağaç olarak uygulandığını göstermektedir. Bir dizi değiştirilebilir tablolar için daha verimli olması gerektiğini …

9 data-structures  haskell 

Boru ve filtre mimari modeli, her bir elemanın çıktısı bir sonrakinin girişi olacak şekilde düzenlenmiş bir işleme elemanları zinciri olarak tanımlanır . Her örnek, bir tür paylaşılan arabellek yoluyla gerçekleştirilen süreçler arası veya zincirler arası bağlantıyı göz önünde bulundurur. Bana göre Haskell fonksiyon kompozisyonu aynı görevi yerine getiriyor . Sadece …

9 design  functional-programming  haskell  architectural-patterns 

Önceki sorularda işlevsel programlama dillerinin fizik motoru gibi dinamik sistemler için uygun olmadığı söylendi, çünkü esasen nesneleri değiştirmek pahalıya mal oldu. Bu ifade ne kadar gerçekçi ve neden?

9 functional-programming  haskell  clojure  immutability 

Haskell, O'Caml veya LISP'den çok önce, üst düzey işlevlerin akademik bir araştırma konusu olduğunu ve matematikte Schönfinkel (1967'de) ve Haskell Curry'in (1968'de) körleme gibi teknikleri zaten uyguladığını anladım, ancak herhangi bir programlama dilinde bulunmadan önceydi. Wikipedia'ya göre şema, birinci sınıf vatandaşlar olarak uygun üst düzey işlevleri sunan ilk dildi, ancak …

9 functional-programming  history  haskell  scheme  higher-order-functions