Hola Gianfranco,
La forma de parsear la definición de tk es:
tk n = (map snd) . (box n) . (zip [1..])
Los paréntesis no son necesarios porque la aplicación tiene máxima precedencia.
Se suele decir "por recursión explícita" a definiciones por recursión en la propia función principal o en términos de una auxiliar que sea por recursión explícita, y que no sea una definición casi completamente en términos de map, foldr, filter, take, drop, etc. (o sea, que la recursión no quede escondida en esas funciones pre-definidas).
Saludos,
Alberto.
La forma de parsear la definición de tk es:
tk n = (map snd) . (box n) . (zip [1..])
Los paréntesis no son necesarios porque la aplicación tiene máxima precedencia.
Se suele decir "por recursión explícita" a definiciones por recursión en la propia función principal o en términos de una auxiliar que sea por recursión explícita, y que no sea una definición casi completamente en términos de map, foldr, filter, take, drop, etc. (o sea, que la recursión no quede escondida en esas funciones pre-definidas).
Saludos,
Alberto.