小编Phi*_*lip的帖子

我是Haskell的初学者.我有这个功能

test f xs 
  | length xs == 0  = []
  | f (head xs)     = head xs : test f (tail xs)
  | otherwise       = test f (tail xs)

此函数应该从列表xs的每个元素中创建一个列表,该列表与f值匹配,但它会返回错误:

test 1 [1,2]
ERROR - Cannot infer instance
*** Instance   : Num (a -> Bool)
*** Expression : test 1 [1,2]

这部分:

| f (head xs)

应该是Bool但是呢？它是否作为过滤器工作？如何使此功能起作用？提前致谢.