Buenas tardes,
Me pueden explicar por que retornan las respuestas:
Dadas las siguientes definiciones: a = 1 : foldr (λx xs → 1 + x : xs) [ ] a
b = foldr (λx xs → 1 + x : xs) [ ] b
c = 1 : foldl (λxs x → 1 + x : xs) [ ] c
d = foldl (λxs x → 1 + x : xs) [ ] d
Para cada una de las siguientes expresiones indique el resultado de su evaluaci´on o si la misma diverge.
(take 4 a) - [1,2,3,4]
(take 4 b) - Diverge
(take 4 c) - Diverge
(take 4 d) - Diverge
Desde ya, muchas gracias