haskell

6ısı

2cevap

İki değerde aynı kafa yapıcısına sahip olduğunu kontrol etme

Aynı kafa yapıcısı kullanılarak iki değerin oluşturulduğunu kontrol eden bir işlev yazabilmek istiyorum. Bu fonksiyon: veri türü bildiriminin büyüklüğü doğrusal olmamalıdır veri türü uzatılması halind

7ısı

2cevap

nasıl Haskell fmap ile rastgele jeneratörü kullanan işlevini kullanmak için?

Ben evrimsel sinir ağları ile araştırıyorum ve HNN kullanıyorum. Benim ilk sorum şu ki, Haskell'de herhangi bir evrimsel algoritma çerçevesi var mı? Şu anda genel bir şekilde nöral ağın ağırlıkları mu

12ısı

2cevap

Travers olabilen, her zaman bir monad ile keyfi bir monadın kompozisyonu mu?

İki tane Monad'ım m ve n ve n geçiş yapılabilirse, mutlaka bir bileşik m -over-n monad'ım var mı? Doğal olarak import Control.Monad import Data.Functor.Compose prebind :: (Monad m, Monad n) =>

7ısı

1cevap

ST monad bildiriminin sözdizimi

Son zamanlarda, Hackage'deki çekirdek kitaplıklarına bakmaya başladım ve anlamadığım yinelenen bir deyim var. instance Monad (ST s) where {-# INLINE (>>=) #-} (>>) = (*>) (ST m) >>= k

6ısı

1cevap

Yapılandırma türleri mi?

Ben continuations üzerinde gidiyorum ve yapılandırma devam türleri için iki farklı yaklaşımlar rastlamak ettik: Ben ikinci yaklaşım gelmez anlıyoruz type C r a = (a -> r) -> r exampleFunction :: Str

10ısı

1cevap

Neden `fmap toplamı` `typecheck?

fmap'un fmap :: Functor f => (a -> b) -> f a -> f b ve sum'un sum :: (Num a, Foldable t) => t a -> a olduğunu biliyoruz, ancak aşağıdaki kod beni şaşırtıyor. > :t (fmap sum Just) (fmap sum Just) :: N

10ısı

1cevap

REPL'yi CPS işleviyle nasıl kullanabilirim?

Yalnızca wreq ürününün withSession :: (Session -> IO a) -> IO a ürününü kullanıyorum. Devam çizgisini çizgisel olarak değerlendirmek istiyorum, ancak bunun için herhangi bir yol bulamıyorum. Yukarıdak

5ısı

1cevap

nix

kullanarak basit bir haskell kütüphanesi oluşturun Nix ile bir süredir ilgileniyorum ve sonunda yeni bir haskell projesi başlatmak için kullanmaya çalışacağımı düşündüm. , name: project version: 0.1.

16ısı

1cevap

`read` işlevine toplam alternatif var mı?

Neden read işlevi, bağımsız değişkenini ayrıştırılamadığında yürütülebilir dosyayı sonlandırıyor? O dize türü a olarak ayrıştırılamaz eğer Nothing döndüren tip String -> Maybe a, bir işlevi olması dah

14ısı

1cevap

Yaralar ne için yararlıdır?

Huet tarafından "The Fermuar" başlıklı makalede, aynı zamanda, fermuarların bir çeşidi olarak skarlardan bahseder. Haskell topluluğunda oldukça iyi bilinen fermuarlarla karşılaştırıldığında, yara izle