Recursión o comprensión de la lista?

Question

Trabajando con Aprenda un Haskell para Great Good, en el capítulo sobre funciones de orden superior, el autor realiza una implementación de algunas funciones de biblioteca diferentes. Al llegar a la definición de filter' (una reimplementación de la función de la biblioteca estándar filter), pensé que la cosa obvia era la siguiente:

filter' f xs = [x | x <- xs, f x] 

Sin embargo, el autor da el siguiente largo, definición recursiva:

filter' _ [] = [] 
filter' p (x:xs) 
    | p x  = x : filter' p xs 
    | otherwise = filter' p xs 

Ambas definiciones hacen lo mismo. Hay alguna razón para esto? ¿Es la definición recursiva de alguna manera más efectiva? ¿Es más idiomático para Haskell? ¿Algo más?

Answer 1

Probablemente sea porque la comprensión de la lista es solo azúcar sintáctica, que en principio se traduce a la forma recursiva.

Si los autores apuntan a ilustrar cómo se implementa la función, usar un atajo de comprensión de lista realmente no hace eso; muestra una forma alternativa de expresar la solución, pero no es realmente una implementación funcional.

En resumen, muestra cómo implementar desde un conjunto bastante básico de bloques de construcción básicos.

Esto es una suposición, sin embargo, no he leído ese tutorial yo mismo.

Answer 2

La comprensión de la lista es más o menos azúcar para un mapa y un filtro en una sola operación; Aunque puede usar concatMap en el back-end. En general, usar algo de mayor abstracción para implementar algo de baja abstracción es hacer trampa.