Haskell'de sonsuz yinelenen liste nasıl oluşturulur?

Question

Kendimi Erik Meijer'in Kanal 9 web yayınlarından Haskell'e öğretmeye çalışan bir C# adamıyım. Zip ve mod kullanarak bir listenin her 'n' öğesini atlamayı içeren ilginç bir bulmacanın karşısına çıktım.

every :: Int -> [a] -> [a] 
every _ [] = [] 
every n xs = [x | (x,i) <- zip xs [1..], i `mod` n == 0] 

Bence mod kullanarak önlemek olabilir eğer (gerçekten büyük listeleri veya akışları için) daha verimli olabileceğini düşünüyorum.

Tembel bir yinelenen tamsayılar listesi oluşturarak tembelce düşündüm, böylece basitçe i'nin n değerini karşılaştırabiliriz.

repeatInts :: Int -> [Int] 

şekilde repeatInts 3 döndürür [1,2,3,1,2,3,1,2,3,1,2,3,..] sonsuza çağırarak.

bu göz önüne alındığında, şöyle every yeniden tanımlamak olabilir:

every :: Int -> [a] -> [a] 
every _ [] = [] 
every n xs = [x | (x,i) <- zip xs (repeatInts n), i == n] 

Yani benim sorular olduğunu: nasıl repeatInts uygulamak?

Answer 1

Kullanım cycle:

cycle :: [a] -> [a] 

cycle dairesel birine bağlar sonlu liste veya eş anlamlı olarak orijinal listenin sonsuz tekrarı. Sonsuz listelerdeki kimliktir.

için cycle açısından repeatInts tanımlayabilir: merak için

*Main> let repeatInts n = cycle [1..n] 
*Main> :t repeatInts 
repeatInts :: (Num t, Enum t) => t -> [t] 
*Main> take 10 $ repeatInts 3 
[1,2,3,1,2,3,1,2,3,1] 

---

, GHC uygulayan cycle sadece işlevsel dilinde

cycle [] = errorEmptyList "cycle" 
cycle xs = xs' where xs' = xs ++ xs' 

ile, bu ilginç bir teknik, bilinen bir düğümünü düğümünü bağlama d sonsuzdan ziyade döngüsel veri yapıları oluşturur.

ayrıntıları Haskell wiki'de

• “Tying the Knot” için bkz
• “Explanation of ‘tying the knot’” burada Yığın taşması ghc yorumunda
• “Tying the knot”
• yığın taşması etiketi [tying-the-knot]

Answer 2

Geç cevap ama t gibi yazılabilir onun:

repeatInts :: Int -> [Int] 
repeatInts 0 = [] 
repeatInts a = [1..a] ++ repeatInts a