traverse :: Applicative f => (a -> f b) -> t a -> f (t b)
Merhaba, imza anlayamıyorum bir çok fonksiyonu vardır . Tabii ki, bu traversin önce iki argüman olduğunu anladım, ilk önce fonksiyon. Ancak,
imzaların ben derleme yaparken aşağıdaki hata iletisini alabilirsiniz: Yinelenen tip imzası: weightedMedian.hs: 71: 0-39: findVal :: [ValPair] -> Çift -> Çift weightedMedian.hs: 68: 0-36: findVal :: [
Haskell ile deneme yapmaya başladım ve bir problemim var. qqq, "Hiçbir şey" ile çağrılırsa bir dizgi basması ve "Sadece bir şey" ile çağrılırsa başka şeyler yazdırması gereken bir işlevdir. qqq Nothin
neden forever forever :: Monad m => m a -> m b
tipi-imza Spesifik neden sadece :: Monad m => m a -> m a değildir? Elbette hareket ettiğimiz monad tipi, forever aracılığıyla yarı yolda değişmiyor mu?