En este ejercicio se define
a = map repeat b
b = 1:map (+1) b
c = reverse a
Pero no entiendo bien cómo se deduce alguna de los resultados
El b) (take 8 b) por qué no da [1,2,2,2,2,2,2,2] ? Ya que aplicando la definiincion de map: map f (x:xs) = f x : map f xs y la lista que resta es b siempre, y empieza en 1. O va avanzando en la misma lista?
El d) ((take 8 . head) a) dice que da [1,1,1,1,1,1,1,1] pero para mí, desarrollando a
a = [repeat 1:map (+1) b,repeat 1:map (+1) b,.....]
entonces head a = repeat 1:map (+1) b = [1:map (+1) b,1:map (+1) b, ....] y take 8 de eso = [1:map (+1) b,1:map (+1) b,1:map (+1) b,1:map (+1) b,1:map (+1) b,1:map (+1) b,1:map (+1) b,1:map (+1) b] lo cual diverge
Gracias por la ayuda desde ya!