haskell - 递归还是列表理解？

Question

通过Learn You a Haskell For Great Good，在有关高阶函数的章节中，作者介绍了一些不同库函数的实现。当谈到 filter' 的定义(标准库函数 filter 的重新实现)时，我认为显而易见的是:

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

但作者给出了以下更长的递归定义:

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

两个定义都做同样的事情。这有什么原因吗？递归定义的性能是否更高？对于 Haskell 来说它更惯用吗？还有别的吗？

Answer 1

这可能是因为列表推导式只是语法糖，原则上会转换为递归形式。

如果作者的目的是说明函数是如何实现的，那么使用列表理解快捷方式并不能真正做到这一点 - 它显示了表达解决方案的另一种方法，但不是真正的函数实现。

简而言之，它展示了如何通过相当少的一组基本构建 block 来实现。

不过，这只是一个猜测 - 我自己还没有读过该教程。