«haskell» etiketlenmiş sorular

Real World Haskell'in 19. bölümünde, birçok örnek artık değiştiği için başarısız oluyor Control.Exception. Bu da bana, belki de bu kitaptaki bazı şeylerin aslında modası geçmiş ve artık çalışmaya değmediğini düşündürüyor, sonuçta 6 yıl oldu. Diğer tek referansım Learn You a Haskell For Great Good , harika bir kitap olmasına rağmen …

107 haskell  exception-handling 

Kapalı. Bu soru Yığın Taşması yönergelerini karşılamıyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek mi istiyorsunuz? Yığın Taşması için konuya uygun olması için soruyu güncelleyin . 4 yıl önce kapalı . Bu soruyu geliştirin Çok sayıda işlevsel deyim vardır: monadlar, uygulamalar, oklar, vb. Farklı makalelerde belgelenmiştir ancak maalesef …

106 scala  haskell  functional-programming  monads 

M2 aşağıda olmadığı halde m1'in neden hafızaya alındığını anlayamıyorum: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000, ilk aramada yaklaşık 1,5 saniye ve sonraki aramalarda bunun bir kısmını alır (muhtemelen listeyi önbelleğe alır), oysa m2 10000000 her zaman aynı süreyi alır (her …

106 haskell  ghc  memoization 

XRankNTypesGHCi'de etkinleştirmeye çalışıyorum . Bunu nasıl yaparım?

106 haskell  ghci  language-extension 

Haskell'deki Comonad tip sınıfı nedir? Comonad paketindeki Control.Comonad'dan Comonad'da olduğu gibi (Comonad tip sınıfını sağlayan diğer paketlerin açıklamalarına da açığız). Komonad hakkında belirsiz bir şekilde duydum, ama gerçekten tek bildiğim, bunun Monad'lara extract :: w a -> abir çeşit paralellik sağladığı return :: a -> m a. Comonad'ın "gerçek" kullanımlarını …

105 haskell  typeclass  comonad 

Son zamanlarda, provalarda desen eşleştirmeyle birleştirilen tip deliklerinin Haskell'de oldukça güzel bir Agda benzeri deneyim sağladığını öğrendim. Örneğin: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * where Refl :: x == x sym :: a == b -> b == a …

105 haskell  dependent-type 

Bir listenin n'inci öğesini bulan üç işlevim var: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int …

105 haskell  if-statement  case 

Şu anda olduğu gibi, bu soru Soru-Cevap formatımız için uygun değil. Cevapların gerçekler, referanslar veya uzmanlıkla desteklenmesini bekliyoruz, ancak bu soru büyük olasılıkla münazara, argümanlar, 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 . 7 yıl önce kapalı . …

104 haskell  comparison  lisp  language-comparisons 

Haskell'i öğrenmek için bazı Project Euler Problemlerini çözerken (yani şu anda tamamen yeni başlayan biriyim) Problem 12'ye geldim . Bu (saf) çözümü yazdım: --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n `quot` 2)+1)], n `rem` x …

104 haskell  performance  profiling 

Haskell'ın tip emniyet ikinci hiçbiri sadece bağımlı-daktilo dillere. Ancak Text.Printf ile oldukça kötü görünen derin bir sihir var . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 Bunun arkasındaki derin sihir nedir? Text.Printf.printfİşlev bunun gibi çeşitli argümanları nasıl alabilir ? Haskell'de çeşitli …

104 haskell  printf  variadic-functions  polyvariadic 

Cebirsel Veri Türleri Haskell (ADTS) otomatik olarak bazı örneklerini olabilir typeclasse s (gibiShow,Eqtarafından) kaynaklanan onlardan. data Maybe a = Nothing | Just a deriving (Eq, Ord) Sorum şu, bu nasıl derivingçalışıyor, yani Haskell ADT'yi türetmek için türetilmiş tip sınıfının işlevlerini nasıl uygulayacağını nasıl biliyor? Ayrıca, neden derivingyalnızca belirli tip sınıflarıyla …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Kapalı . Bu soruya daha çok odaklanılması gerekiyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek mi istiyorsunuz? Soruyu yalnızca bu gönderiyi düzenleyerek tek bir soruna odaklanacak şekilde güncelleyin . 5 yıl önce kapalı . Bu soruyu geliştirin İşlevsel diller iyidir çünkü durumu ortadan kaldırarak hataları önlerler, aynı zamanda …

103 haskell  f#  functional-programming 

Mevcut davranış Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = show _ …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Neden esasen aynı şeyi yapan üç farklı işleve sahibiz?

102 list  haskell  monads  redundancy  functor 

Yeni bir Haskell projesine yeni başladım ve en başından itibaren iyi bir test iş akışı oluşturmak istedim. Haskell'in pek çok mükemmel ve benzersiz test aracı ve bunları entegre etmenin birçok farklı yolu var gibi görünüyor. Baktım: HUnit Çabuk kontrol yatarak halter kaldırma HPC karmaşıklık Bunların hepsi kendi alanlarında çok iyi …

101 testing  haskell