haskell

6ısı

1cevap

Haskell/Wreq - http istekleri için karmaşık tip imzalar hakkında öneri

Ben bir Haskell acemi ve şu anda bir api etrafında basit bir sarıcı yapmak için wreq kullanıyorum. Bir süre verilmişse if-modified-since başlığını göndermek istiyorum. Bunu şu şekilde yapıyorum. getRe

6ısı

1cevap

Haskell: f (x) 'nin maksimum olduğu listede x

Haskell'i yeni öğrenmeye başladım. score x'un en yüksek değere sahip olduğu bir listede x bulmaya çalışıyorum. Çalıştığım snd (maximum [(score x, x) | x <- codes])'u denedim, ancak hem işlevi hem de d

7ısı

1cevap

forall notasyonu: Dönem/nokta ne anlama geliyor?

Dönem/nokta ne anlama geliyor? forall a. Num a => a -> a -> a Sadece bir ayırıcı mı?

6ısı

1cevap

konsolide edilmiş işlev çok yavaş

Yazım isminin fonksiyonu. Verilen bir sayının asal olup olmadığını kontrol eder. Son "ana" liste ayrı ayrı verilir. prime :: [Integer] prime = 2 : filter isPrime [3..] isPrime :: Integer -> Bool is

7ısı

1cevap

Coq'den Haskell'e ayıklama yaparken modül adı nasıl ayarlanır

Coq dosyasına Extraction Language Haskell. kullanarak Coq'a Haskell'i ayıkladığım/derlediğimde ve coqtop -compile mymodule.v > MyModule.hs çalıştırdığımda, module Main where ile başlayan bir Haskell m

8ısı

1cevap

Foldable.foldl, Num a => a

üzerinde çalışır. LYAH'da, buna benzeyen bir kod parçası vardır. data Tree a = Empty | Node a (Tree a) (Tree a) deriving (Show, Read, Eq) instance F.Foldable Tree where foldMap f Empty = mempty

7ısı

1cevap

Superclass

'dan çıkarılamıyor Aşağıdaki kodda, GHC, Funer örneğini Monoidal örneğinin tanımında bulamıyor. Neden GHC Applicative kısıt sonra Functor yerde zaten olmalı, memnun verilen bu deducing değil? import P

12ısı

1cevap

Ed Kmett en <code>recursion-scheme</code> pakette Ed Kmett en tekrarlama düzeni paketinde

yılında Fix, Mu ve Nu arasındaki fark üç beyanlar Ne var olan nedir?

8ısı

3cevap

Desen eşlemeli işlevleri puntasız biçimde yazmak mümkün mü?

Aşağıdaki Haskell kodunu göz önünde bulundurun. data Keypress = Keypress Int Char getSeq :: Keypress -> [Char] getSeq (Keypress i c) = replicate i c pointfree şeklinde getSeq yazmak için herhangi

6ısı

1cevap

zamanında

de döngüsünden karşılıklı özyinelemeli varsayılan yöntemleri önleme Şu anda aşağıdaki gibi bir yapıya var: class F a where f :: ... default f :: (G a...) => ... f = (some definition in