预计冲突和实际参数

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))) 

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

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))) 

无法比拟预期型[a0] -> [a0]与ACTU人型[a1]在 的nub'，即[]在表达式中的第二个参数：nub' l [] 在方程nub：

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))强制函数调用？如果是这样，那对一个不起作用，即使这种语法可行，那么你的括号也会不匹配。

放弃了“尝试函数调用”和拉姆达，只是在nub'使用x和new_list直接，或者如果你真的要重命名使用let e = x in绑定e。这应该修复类型错误。

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