Haskell-递归/语法

Question

我这里有一些代码，我需要有人向我解释它的作用。

fun :: (a -> Bool) -> [a] -> [a]
fun p [] = []
fun p (x:xs) = if (p x) then (x : fun p xs) else (fun p xs)

我没有得到

一个->布尔

和

（像素）

因此，代码遍历列表，如果列表为空，则返回一个空列表。 如果列表不为空，则检查是否(px) 。 如果为true，则使该元素保持不变，并转到列表中的下一个元素，否则将删除该元素。

Answer 1

所以第一位是类型签名

fun :: (a -> Bool) -> [a] -> [a]

(a -> Bool)表示一个接受a并返回Bool的函数。 由于它是作为参数传递的，所以fun是一个“高阶函数”-一个将另一个函数作为参数的函数（此处为p ，对谓词使用“ p”）。 第二个参数是列表a的的列表和a “返回秒。

[]情况很清楚。 然而，当我们至少有一个元素（ x在(x:xs)模式），我们检查，看看是否p返回真的（即当(px)被调用）。 如果是这样，我们将元素添加到结果列表的前面，否则，我们将其扔掉。 然后我们递归。

让我们看一个例子，看看它能做什么。

fun even [1, 2, 3]
if (even 1) then (1 : fun even [2, 3]) else (fun even [2, 3])
fun even [2, 3]
if (even 2) then (2 : fun even [3]) else (fun even [3])
2 : (fun even [3])
2 : (if (even 3) then (3 : fun even []) else (fun even []))
2 : (fun even [])
2 : []
[2]

看起来熟悉？ 那只是filter ！

Answer 2

这是filter的实现：

1. a-> Bool表示一个函数（谓词），它接受a并吐出一个Bool 。
2. 该功能不会从输入列表中删除元素。 相反，它将构建一个新的。
3. 如果谓词计算结果为true，输入列表的头部，然后被前置（ : ），以评估的结果fun的输入列表的尾部; 否则结果将很有趣，可以在输入列表的尾部进行评估。