Buenas, tengo esta solución planteada:
Mi consulta es si de alguna forma se puede evitar, en el caso 1, el uso de x para darle el valor inicial al acumulador y poder así lograr eta-conversión.
Y en el caso 2 no se puede hacer eta-conversión no?
En este caso no se puede hacer la eta-reducción.
Bien, gracias!
Ya que estamos, te comento una sutileza.
Tu definición de maxInd1 está correcta. El único comentario es que en la parte derecha el foldl no precisas aplicarlo a la lista (x : xs) sino solamente a xs. El x ya lo consideraste como el valor inicial del máximo en el acumulador inicial.
Es lo mismo que sucede al computar el máximo de un array [1..n] usando un for, en lugar de computar de 1 a n, harías el for de 2 a n. El primer lugar del array uno lo usa para inicializar la variable máximo y por lo tanto no se necesita considerar en la iteración.
Saludos,
Alberto.
Claro, es verdad. Gracias.
Saludos