concatMap oluşturmak için concat ve harita oluşturma: neden f?

Question

Bunlar Haskell'deki ilk keşiflerim, bu yüzden açık olması gerekirse beni affet.

Tüm öğleden sonraları, kendi liste türüm (tipik Eksileri) kullanarak, 99 questions on HaskellWiki eğitimini inceleyerek Haskell ile oynuyordum. Devam ettiğim gibi "belirgin" işlevleri ekledim ve bunları olabildiğince kısa bir şekilde yapmaya çalıştım (mümkün olduğunda noktadan notasyonu kullanmadan)

12. sorun, çalışma uzunluğu kodlanmış bir listenin kodunun çözülmesiyle ilgilidir.

> decode [Multiple 5 'a', Single 'b', Multiple 2 'c'] 
"aaaaabcc" 

ve sonra, her elemanının kodunu sonucu (bu konuda teşekkür Google) concatmap kullanma hakkında düşündü ve nihayet GHCi hızla teyit benim okumaları, içinde concatMap gibi bir şey gördüğünü hatırladı: yani :

O reimplement tarafından açıkça görülecek biçimde benziyordu concatMap: Bunun dışında

concatMap :: (a -> [b]) -> [a] -> [b] 
concatMap = concat . map 

GHCi oldukça şikayetçi:

List.hs:110:15: 
    Couldn't match expected type `[a] -> [b]' 
       with actual type `[a0]' 
    Expected type: [[a0]] -> [a] -> [b] 
     Actual type: [[a0]] -> [[a0]] 
    In the first argument of `(.)', namely `concat' 
    In the expression: concat . map 

bunu çözemedim, bu yüzden web üzerinde baktı ve

concatMap f = concat . map f 

Ve tip besbelliolduğundan bu f, neden gerekli olduğunu oldukça anlamıyorum: Prelude başvurulan tanım aslında İmza tarafından belirtildiği şekilde...

Neden f burada gereklidir? standart tanımlı başlayarak

Answer 1

,

concat . map f 
≡ concat . (map f) 
≡ \x -> concat ((map f) x) 

İlk tanım verir: concat[[a]], listelerin listesi alırken, (map f) :: [a] -> [b] çünkü kontrol yazın etmez

(concat . map) f 
≡ (\x -> concat (map x)) f 
≡ concat (map f) 

.

Sorunda gösterilen belirli hata iletisinin, yukarıdaki tür denetim hatasını bildirmediğini unutmayın. Verilen iletinin,numaralı [a] -> [b] dönüş türünü [a0], concat dönüş türüyle uzlaştırılamadığını bildirmesi gerekir. Tür imza kapalı bırakırsanız, yanıttır: concat argümanı tip map dönüş türünü mutabık kılınırken İşte

 
    Couldn't match type ‘[a1] -> [b]’ with ‘[[a]]’ 
    Expected type: (a1 -> b) -> [[a]] 
     Actual type: (a1 -> b) -> [a1] -> [b] 
    Relevant bindings include 
     concatMap :: (a1 -> b) -> [a] (bound at :49:5) 
    Probable cause: ‘map’ is applied to too few arguments 
    In the second argument of ‘(.)’, namely ‘map’ 
    In the expression: concat . map 

yazın hata oluşur. Bu durum, tür denetiminin neden başarısız olduğuna dair bir ipucu içerdiğinden, hata ayıklama için daha yararlıdır.