預計衝突和實際參數

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一樣。