İşlev, üç yerine dört argüman alıyor - neden bu ara vermiyor?</p> <pre><code>myFoldl f z xs = foldr step id xs z where step x g a = g (f a x) </code></pre> <p>Sorum şu: Neden bu kod derliyor sayfa 95 yazar "Gerçek Dünya Haskell", Okuma

Question

bir örnek sağlar? foldr yalnızca üç bağımsız değişken alır - ancak burada dört geçirilir: step, id, xs, z. (Toplamı birini bekler çünkü)

Örneğin, bu işe yaramazsa:

sum filter odd [1,2,3] 

yerine ben yazmak gerekir:

sum $ filter odd [1,2,3] 

Answer 1

(örneğin) İşte foldr türüdür için uzmanlaşmış? Hadi bir deneyelim! Bizi veren a -> a -> aa -> (a -> a) aynıdır, Haskell

(a -> (d -> d) -> (d -> d)) -> (d -> d) -> [a] -> (d -> d) 

:

1. ikinci parametrenin (b) olarak o id :: d -> d vererek, bu yüzden türü içine o yerine izin mi (parantez son seti kaldırma):

   (a -> (d -> d) -> (d -> d)) -> (d -> d) -> [a] -> d -> d 
   

2. en basitleştirmek izinikame edilmesi suretiyle(d -> d için (a -> (d -> d) -> (d -> d)) ve f) için, daha kolay okunmasını sağlamak için:

   e -> f -> [a] -> d -> d 
   

yüzden açıkça biz dört argüman fonksiyonunu inşa ettik görebilirsiniz! Başım ağrıyor.

---

Burada bir n-arg fonksiyon arasında bir n + 1-argüman fonksiyonunu oluşturmak basit bir örnek verilmiştir:

Prelude> :t id 
id :: a -> a 

id bir bağımsız değişken bir fonksiyonudur.

Prelude> id id id id id 5 
5 

Ama ben sadece 5 args verdim!

Answer 2

Çünkü foldr ne kadar polimorfik ait açıklanmıştır:

foldr :: (a -> b -> b) -> b -> [a] -> b 

Burada, bir işlev türüne b örneğini çektik.

Prelude> :t foldr 
foldr :: (a -> b -> b) -> b -> [a] -> b 

biz dört argüman fonksiyonu haline anlamaya Can:, böylece foldr tipi

foldr :: (a -> (c -> c) -> (c -> c)) -> (c -> c) -> [a] -> c -> c 

Answer 3

foldr sadece 3 argümanları

Yanlış

sürer. Haskell'deki tüm işlevler tam olarak 1 argüman alır ve tam olarak 1 sonuç üretir.

foldr :: (a -> b -> b) -> b -> [a] -> b 

See, foldr bir argüman (a -> b -> b) alır ve 1 sonuç üretir: b -> [a] -> b. Bunu gördüğünüzde:

foldr step id xs z 

Unutmayın, bunun için sadece kısaltmasıdır: Bu saçmalıktır neden

((((foldr step) id) xs) z) 

açıklıyor:

sum filter odd [1,2,3] 
(((sum filter) odd) [1,2,3]) 

sum :: Num a => [a] -> a onun girdi olarak bir liste alır ama sen bir fonksiyon verdin.