Hola,
La idea es como decís, que se justifique mostrando los pasos de la reducción.
En los casos en que diverge dependerá de la expresión particular cuanto tenés que mostrar hasta ver que no va a parar. En un caso concreto de la expresión 5, podés mostrar los pasos de la reducción hasta que se de cierta periodicidad, como sucede al reducir
last $ snd ....
-> ....
-> ....
-> last $ repeat 10
-> last $ 10 : repeat 10
-> last $ repeat 10
Saludos,
Alberto.
La idea es como decís, que se justifique mostrando los pasos de la reducción.
En los casos en que diverge dependerá de la expresión particular cuanto tenés que mostrar hasta ver que no va a parar. En un caso concreto de la expresión 5, podés mostrar los pasos de la reducción hasta que se de cierta periodicidad, como sucede al reducir
last $ snd ....
-> ....
-> ....
-> last $ repeat 10
-> last $ 10 : repeat 10
-> last $ repeat 10
Saludos,
Alberto.