Buenas tardes,
Realizando el parcial de 2017 me surgió una duda sobre el primer ejercicio: la letra dice "Para las siguientes expresiones, indique si su evaluación diverge o, si resulta en algún valor, muestre su resultado. Justifique brevemente en cada caso."
Viendo la solución del parcial, no se incluye ninguna justificación. Entiendo que la justificación para casos donde la evaluación da un resultado sería mostrar los pasos / reducciones que se realizan para evaluar la expresión. Me queda la duda de cómo sería una justificación correcta para afirmar que la evaluación de una expresión diverge? Por ejemplo para la expresión 5 del ejercicio: last $ snd $ (,) (take 8 $ repeat 9) $ repeat 10
Gracias y saludos