¿Cómo crear una lista infinitamente repetitiva en Haskell?

Question

Soy un chico de C# tratando de enseñarme a mí mismo Haskell de las transmisiones por Internet del Canal 9 de Erik Meijer. Me encontré con un rompecabezas interesante que implicaba omitir todos los 'n' elementos de una lista usando zip y mod.

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

He estado pensando que podría ser más eficiente (por muy grandes listas o arroyos) si podríamos evitar el uso de mod.

Pensé en crear perezosamente una lista repetitiva de enteros para que simplemente podamos comparar el valor de i a n.

repeatInts :: Int -> [Int] 

tal que llamar repeatInts 3 vuelve [1,2,3,1,2,3,1,2,3,1,2,3,..] ad infinitum.

Teniendo en cuenta esto, podríamos redefinir every así:

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

Así que mi pregunta es: ¿cómo poner en práctica repeatInts?

Answer 1

Uso cycle:

cycle :: [a] -> [a] 

cycle lazos una lista finita en una circular, o equivalentemente, la repetición infinita de la lista original. Es la identidad en listas infinitas.

se podría definir repeatInts en términos de cycle:

*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] 

---

Para los curiosos, GHC implementa cycle con

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

En el lenguaje puramente funcional, esta técnica curioso es conocida como que ata el nudo, una d crea estructuras de datos cíclicos en lugar de infinitas.

Para más detalles ver

• “Tying the Knot” en el wiki de Haskell
• “Tying the knot” en el comentario de GHC
• “Explanation of ‘tying the knot’” aquí en desbordamiento de pila
• desbordamiento de la pila de etiquetas [tying-the-knot]

Answer 2

respuesta tardía pero también se puede escribir como t la suya:

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