预期论证与实际论证的冲突

Question

belongs :: Eq a => a -> [a] -> [a]

belongs e (h:t) = if ( h == e) then [] else belongs e t
belongs e [] = [e]




nub :: Eq a => [a] -> [a]
nub l = nub' l [] 
    where 
        nub' [] new_list = new_list
        nub' (x:xs) new_list = (nub' xs ((\ e new_list ->  
            case (belongs e new_list) of
            []    ->  new_list
            (h:t) ->  (h:new_list))(x new_list)))

在调用nub'的返回类型中，[a]的预期类型[a0]->[a0]无法与实际类型[a0]->[a0]匹配。可能的原因:nub'应用于表达式:nub'公式中nub'l[]中的参数太少：

 nub l
  = nub' l []
  where
      nub' [] new_list = new_list
      nub' (x : xs) new_list
        = (nub'
             xs
             ((\ e new_list
                 -> case (belongs e new_list) of {
                      [] -> ...
                      (h : t) -> ... })
                (x new_list)))

在nub'的第二个参数中，即表达式:nub'l[]中的[a0]->[a0]中的[a1]与实际类型[a1]在nub方程中的[a1]无法匹配：

nub l
  = nub' l []
  where
      nub' [] new_list = new_list
      nub' (x : xs) new_list
        = (nub'
             xs
             ((\ e new_list
                 -> case (belongs e new_list) of {
                      [] -> ...
                      (h : t) -> ... })
                (x new_list)))

为什么不管用？我不能理解。请帮我一把。这些错误是可以理解的，但我不知道它们的原因。

Answer 1

您是否试图强制使用lambda和额外的括号((\e new_list->...)(x new_list))调用函数？如果是这样，这对一个不起作用，即使该语法起作用，那么您的括号也会不匹配。

放弃“尝试函数调用”和lambda，直接在nub'中使用x和new_list，或者如果您真的想重命名，使用let e=x在中绑定e。可以修复类型错误。

如果您真的想要lambda，那么您应该知道函数应用程序是使用空格而不是括号完成的，就像(\x->x+1)3一样。