«haskell» etiketlenmiş sorular

Çok ilkel bir biçim ipc(telnet ve belirli kelimeleri belirli bir sırayla içeren bir String gönder) kullanan bir arka plan programı oluşturmuştum . Bundan kurtuldum ve şimdi JSONiletileri bir Yesodsunucuya iletmek için kullanıyorum . Ancak, tasarımımda gerçekten sevdiğim bazı şeyler vardı ve şu anda seçimlerimin ne olduğundan emin değilim. İşte yaptığım …

93 json  haskell  exception-handling  yesod 

Kütüphanelerim için ghci görüntüleyen türleri olabildiğince sezgisel hale getirmeye çalışıyorum, ancak daha gelişmiş tür özelliklerini kullanırken çok fazla zorlukla karşılaşıyorum. Diyelim ki bu kod bir dosyada var: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} import GHC.TypeLits data Container (xs::[*]) = Container Ghci'ye yükledim, sonra aşağıdaki …

93 haskell  types  ghci 

Hack'lerin olduğu flipveya \x -> foo bar x 42olduğu yerde çok fazla kod olduğundan, parametrelerin sırasını değiştirmek için yakın zamanda iki kez yeniden düzenlenmiş kodum var . Bir fonksiyon imzası tasarlarken hangi prensipler körlemeden en iyi şekilde faydalanmam için bana yardımcı olur?

93 haskell  functional-programming  currying  partial-application 

Kullanıcım uygulama menüsünden bir seçenek seçtikten sonra bir terminal ekranını nasıl temizleyebilirim?

93 haskell  terminal  ghci 

İşlevsel programlama dilleri herhangi bir durumu kaydedemezse, bir kullanıcıdan gelen girdileri okumak gibi basit şeyleri nasıl yaparlar? Girişi nasıl "saklarlar" (veya bu konuyla ilgili herhangi bir veriyi saklarlar?) Örneğin: Bu basit C şeyi Haskell gibi işlevsel bir programlama diline nasıl çevrilebilir? #include<stdio.h> int main() { int no; scanf("%d",&no); return 0; …

92 oop  programming-languages  haskell  functional-programming  paradigms 

48 Saat İçinde Kendinize Bir Şema Yazın üzerinde çalışıyorum (yaklaşık 85 saate kadar varım) ve Değişkenler ve Atamalar Ekleme kısmına geldim . Bu bölümde büyük bir kavramsal sıçrama var ve keşke doğrudan nihai çözüme atlamak yerine iki adımda iyi bir yeniden düzenleme ile yapılsaydı. Her neyse ... Ben aynı amaca …

92 variables  haskell  monads  state-monad  ioref 

Hackage, monad transformatörler için çeşitli paketlere sahiptir: mtl : Monad trafo kütüphanesi transformatörler : Beton functor ve monad transformatörler monads-fd : İşlevsel bağımlılıkları kullanan Monad sınıfları monads-tf : tür aileleri kullanan Monad sınıfları monadLib : Bir monad transformatör koleksiyonu. mtl-tf : Tip aileleri kullanan Monad trafo kütüphanesi. mmtl : Modüler …

91 haskell  monads  monad-transformers 

Birisi bana Haskell Prelude'un üs alma için neden iki ayrı işlevi tanımladığını söyleyebilir mi (yani ^ve **)? Yazı sisteminin bu tür bir tekrarlamayı ortadan kaldırması gerektiğini sanıyordum. Prelude> 2^2 4 Prelude> 4**0.5 2.0

91 haskell  exponent  exponentiation 

Https://en.uncyclopedia.co/wiki/Haskell'i okurken (ve tüm "saldırgan" şeyleri görmezden gelirken ), aşağıdaki karmaşık kod parçasına rastladım: fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 Bu kod parçasını içinde çalıştırdığımda ghci( Data.Functionve aldıktan sonra Control.Applicative), ghci2'nin tüm üslerinin listesini yazdırır. Bu kod parçası nasıl çalışır?

91 haskell 

Benim son olarak çalışması ile Gibbs sampling, ben iyi şekilde yararlanmayı sağlayan oldum RVarbana göre, rasgele sayı üretimi için ideale yakın arayüz sağlar. Maalesef haritalarda monadik eylemleri kullanamadığım için Repa'yı kullanamadım. Açıkça monadik haritalar genel olarak paralelleştirilemezken, bana öyle geliyor ki bu RVar, etkilerin güvenli bir şekilde paralelleştirilebileceği bir monad …

90 arrays  haskell  parallel-processing  repa 

Klasik bir programlama alıştırması, Lisp / Scheme'de bir Lisp / Scheme yorumlayıcısı yazmaktır. Tam dilin gücü, dilin bir alt kümesi için bir tercüman üretmek için kullanılabilir. Haskell için benzer bir egzersiz var mı? Motor olarak Haskell'i kullanarak Haskell'in bir alt kümesini uygulamak istiyorum. Tabii ki olabilir yapılır, ancak herhangi bir …

90 haskell  functional-programming  interpreter 

Haskell'de bazı basit otomatik fiziksel sistemleri (sarkaç, robot kollar vb.) Görselleştirmeye çalışıyorum. Genellikle bu sistemler aşağıdaki gibi denklemlerle tanımlanabilir df/dt = c*f(t) + u(t) burada u(t)bir tür 'akıllı kontrolü' temsil eder. Bu sistemler, Fonksiyonel Reaktif Programlama paradigmasına çok iyi uyuyor gibi görünüyor. Bu yüzden Paul Hudak'ın "Haskell İfade Okulu" kitabını …

90 haskell  functional-programming  erlang  reactive-programming 

Haskell'in varsayılan olarak tembel olduğunu hepimiz biliyoruz (veya bilmeliyiz). Değerlendirilmesi gerekmedikçe hiçbir şey değerlendirilmez. Peki bir şey ne zaman değerlendirilmeli? Haskell'in katı olması gereken noktalar var. Ben bunlara "kesinlik noktaları" diyorum, ancak bu özel terim düşündüğüm kadar yaygın değil. Bana göre: Haskell'de azaltma (veya değerlendirme) yalnızca kesinlik noktalarında gerçekleşir. Soru …

90 haskell  language-design  lazy-evaluation  strictness 

Bugün unix'te "zaman" komutunu keşfettim ve Haskell'de kuyruk özyinelemeli ve normal özyinelemeli işlevler arasındaki çalışma zamanları arasındaki farkı kontrol etmek için kullanacağımı düşündüm. Aşağıdaki fonksiyonları yazdım: --tail recursive fac :: (Integral a) => a -> a fac x = fac' x 1 where fac' 1 y = y fac' x …

90 haskell  optimization  lazy-evaluation  tail-recursion  tail-call-optimization 

Kapalı . Bu soru fikir temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek mi istiyorsunuz? Bu gönderiyi düzenleyerek gerçeklerle ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 2 yıl önce kapalı . Bu soruyu geliştirin Bu soruyu çok uzun süredir düşünüyordum, ancak yanıtı Google'da ve Stackoverflow'da benzer bir soru …

89 compiler-construction  haskell  ocaml  functional-programming