++'nin çoklu kullanımı: değerlendirmeyi sağdan sola zorlarsam daha verimli olur mu?

Question

Tek bir ifadede 3 liste veya daha fazlasını bir kerede eklemek istiyorum.

a ++ b ++ c 

++ operatörü soldan sağa veya sağdan sola değerlendirilecek mi? ++ bir önek işlevi olsaydı, biz doğal olarak ilk ++ b c değerlendirerek yol açan ++ a ++ b c yazardı çünkü

1. (a ++ b) ++ c 
2. a ++ (b ++ c) 

Ben 2. seçeneği söyleyebilirim. Doğru olup olmadığından emin değilim.

Ama seçenek 1 ise, o explicitely sağdan değerlendirme sırasını değiştirerek sola geliyor bana daha verimlidir:

İşte

a ++ (b ++ c) 

neden: a ++ b ++ c ilk (n adımlarla ab ++ c değerlendirecek n ve a'nın uzunluğu ise, a ve b) 'nin ve daha sonra abc'un n + m daha fazla adımda birleştirilmesidir (m, b'nin uzunluğu, böylece n + m, ab uzunluğudur), toplam 2n + m adımlar yapar. Oysa, a ++ (b ++ c), önce m adımlarında a ++ bc ve sonra da daha fazla adımda abc değerini değerlendirecektir, ki bu toplamda sadece n + m adımlarıdır.

Haskell'e yeniyim ve söylediklerim konusunda emin değilim, biraz onay istiyorum. ghci itibaren

Answer 1

a ++ b ++ c 

açıkladığınız tam nedenlerle

a ++ (b ++ c) 

olarak ayrıştırılır: (++) olmuştur sola ilişkilendirilebilir vardı, sonra a ++ b ++ c iki kez a kopyalamak olacaktır. Sen infixr "infix sağ ilişkilendirilebilir" anlamına

infixr 5 ++ 

ile yanıt verirken

Prelude> :i (++) 

ile GHCi bu kontrol edebilirsiniz.

Answer 2

, do :i: ++ (infix ve) sağ ilişkisel ve sağdan sola değerlendirilecektir göstermektedir

Prelude> :i (++) 
(++) :: [a] -> [a] -> [a] -- Defined in GHC.Base 
infixr 5 ++ 

. Bilmiyorum, ama doğru-ilişkisel hale getirdiğinde, aklınıza gelen her şeyi aklınızdan çıkarmayınca bahse girerim.

Answer 3

Ayrıca listeleri herhangi bir sayı birleştirir concat işlevi vardır:

Prelude> :t concat 
concat :: [[a]] -> [a] 
Prelude> concat [[1], [2,3], [42,911]] 
[1,2,3,42,911]