«haskell» etiketlenmiş sorular

Bir süredir F # 'da geliştirme yapıyorum ve hoşuma gitti. Ancak F # 'da olmadığını bildiğim moda sözcüklerden biri daha yüksek türler. Üst düzey tiplerle ilgili materyaller okudum ve tanımlarını anladığımı düşünüyorum. Neden yararlı olduklarından emin değilim. Scala veya Haskell'de daha yüksek türden türlerin F #'da geçici çözümler gerektiren hangi …

89 scala  haskell  types  f#  higher-kinded-types 

Genelde üretim kodunun Lazy I / O kullanmaktan kaçınması gerektiğini duydum. Sorum şu, neden? Tembel I / O'ları sadece etrafta oynamanın dışında kullanmak hiç uygun mudur? Alternatifleri (örneğin sayım görevlileri) daha iyi yapan nedir?

89 haskell  io  lazy-evaluation 

Belgeler beni biraz karıştırdı fix(şimdi ne yapması gerektiğini anladığımı düşünmeme rağmen), bu yüzden kaynak koda baktım. Bu beni daha çok karıştırdı: fix :: (a -> a) -> a fix f = let x = f x in x Bu tam olarak nasıl sabit bir noktayı döndürür? Komut satırında denemeye karar …

88 haskell  fixpoint-combinators  letrec 

Bu Haskell kodu parçası ile çok daha yavaş çalışır -O, ancak tehlikeli-O olmamalıdır . Biri bana ne olduğunu söyleyebilir mi? Önemliyse, bu sorunu çözme girişimidir ve ikili arama ve kalıcı bölüm ağacı kullanır: import Control.Monad import Data.Array data Node = Leaf Int -- value | Branch Int Node Node -- …

87 haskell  optimization  ghc  compiler-bug 

Yakın zamanda Haskell ve Agda'yı (bağımlı tipte bir işlevsel programlama dili) içeren bir üniversite kursunu tamamladım ve bunlarda lambda hesabını birleştirici mantıkla değiştirmenin mümkün olup olmadığını merak ediyordum. Haskell ile bu, S ve K kombinasyonlarını kullanarak mümkün görünüyor, bu da onu noktasız hale getiriyor. Agda için eşdeğerinin ne olduğunu merak …

87 haskell  types  functional-programming  logic  agda 

GHCi'de: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: İlki neden iç içe geçmiş bir istisna değil?

87 exception  haskell 

Haskell uygulamamı bu -Wallseçenekle derlerken , GHC öksüz örneklerden şikayet ediyor, örneğin: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Tür sınıfı ToSElembenim değil, HStringTemplate tarafından tanımlandı . Şimdi bunu nasıl düzelteceğimi biliyorum (örnek bildirimini Sonucun bildirildiği modüle taşıyın) ve GHC'nin neden öksüz örneklerden kaçınmayı tercih ettiğini biliyorum , ancak yine …

87 haskell  ghc  typeclass 

Nokta operatörünün bu Haskell kodunda ne yaptığını anlamaya çalışıyorum: sumEuler = sum . (map euler) . mkList Kaynak kodun tamamı aşağıdadır. Benim anlayışım Nokta operatörü iki işlevi sumve sonucunu map eulerve sonucunu mkListgirdi olarak alıyor. Ancak, sumbir işlev değil, işlevin argümanıdır, değil mi? Peki burada neler oluyor? Ayrıca ne (map …

87 haskell  syntax  function-composition 

Bir fromifadeden bir SQL dizesi oluşturmak için esqueleto'yu nasıl edinebilirim ? Belgeleri, toRawSql"kalıcı sorgu günlük kaydını açabilirsiniz" diyor. MonadLoggerAnlayabildiğim tüm olası biçimlerini denedim , ancak hiçbir SQL yazmadı. Aynı dokümantasyon ayrıca "bu işlevi manuel olarak kullanmak ... mümkündür ama sıkıcıdır" diyor. Ancak, türün kurucuları veya türün değerlerini döndüren işlevler QueryTypedışa …

86 haskell  yesod  esqueleto 

Şu anda olduğu gibi, bu soru Soru-Cevap formatımıza uygun değil. Cevapların gerçekler, referanslar veya uzmanlıkla desteklenmesini bekliyoruz, ancak bu soru büyük olasılıkla münazara, münakaşalar, anketler veya uzun tartışmalar gerektirecektir. Bu sorunun iyileştirilebileceğini ve muhtemelen yeniden açılabileceğini düşünüyorsanız, rehberlik için yardım merkezini ziyaret edin . 9 yıl önce kapalı . Kilitli …

85 haskell  programming-languages 

Verilen : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Şunun Stringbir örneğini yapmak istiyorum Fooable: instance Fooable String where toFoo = FooString GHC daha sonra şikayet ediyor: Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

Bu küçük Haskell parçasını, GHC'nin doğal sayılar için yalnızca çiftleri yarıya indirebileceğinizi nasıl kanıtladığını anlamak için yazdım: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: Parity where Flip …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Haskell'i JVM'de çalıştırmanın bir yolu olup olmadığını merak ediyorum (derlenmiş veya yorumlanmış)? Sourceforge'da JHaskell var ama bu boş ve ölü görünüyor. GHC, derleyici arka ucu olarak LLVM'yi kullanır. LLVM'yi Java bayt koduna derlemek iyi bir fikir veya mümkün müdür? Ya da farklı bir derleyici arka ucu mu kullanıyorsunuz?

83 haskell  jvm  jvm-languages  frege 

Hangi durumlarda liftIOkullanılmalıdır? Kullandığımda ErrorT String IO, liftişlev IO eylemlerini içine almaya çalışıyor ErrorT, bu yüzden liftIOgereksiz görünüyor.

83 haskell  monad-transformers 

Happstack Lite beni kırıyor çünkü blaze-html 0.5 sürümünü alıyor ve 0.4 sürümünü istiyor. Cabal, 0.4.3.4 ve 0.5.0.0 sürümlerinin her ikisinin de kurulu olduğunu söylüyor . 0.5.0.0'ı kaldırmak ve sadece eski sürümü kullanmak istiyorum. Ama Cabal "Kaldır" komutunu var ve çalışırken değil ghc-pkg unregister --force blaze-html, ghc-pkgbenim komut göz ardı kaydedildiği …

82 haskell  ghc  cabal