哈斯克爾 - 格式問題

Question

我在哈斯克爾編程初學者，很多時候我得到的錯誤

xxx.hs:30:1: parse error on input `xxx' 

而且經常有一點點的格式解播放。它的代碼和它看起來一樣，但玩過之後，錯誤消失了。

此刻，我已經得到了錯誤

LookupAll.hs:30:1: parse error on input `lookupAll' 

代碼後：

lookupOne :: Int -> [(Int,a)] -> [a] 
lookupOne _ [] = [] 
lookupOne x list = 
    if fst(head list) == x then snd(head list) : [] 
    lookupOne x (tail list) 
-- | Given a list of keys and a list of pairs of key and value 
-- 'lookupAll' looks up the list of associated values for each key 
-- and concatenates the results. 

lookupAll :: [Int] -> [(Int,a)] -> [a] 
lookupAll [] _ = [] 
lookupAll _ [] = [] 
lookupAll xs list = lookupOne h list ++ lookupAll t list  
    where 
     h = head xs 
     t = tail xs 

但我就在我的意見所做的一切。沒有標籤或類似的東西。總是4個空格。這個問題是否有一個通用的解決方案？我現在使用記事本++。

謝謝！

Answer 1

的問題不在於lookupAll，它實際上是用代碼

if fst (head list) == x then snd (head list) : [] 
lookupOne x (tail list) 

了前兩行您還沒有if語句在這一個else。我的猜測是，你的意思是

if fst (head list) == x then snd (head list) : [] 
else lookupOne x (tail list) 

，我個人更願意爲

if fst (head list) == x 
    then snd (head list) : [] 
    else lookupOne x (tail list) 

格式化但這是口味的問題。

---

如果您想要累積符合條件的值列表，有幾種方法。目前最簡單的方法是使用filter，但也可以使用顯式遞歸。要使用filter，你可以寫你的函數作爲

lookupOne x list 
    = map snd       -- Return only the values from the assoc list 
    $ filter (\y -> fst y == x) list -- Find each pair whose first element equals x 

如果你想使用遞歸，你可以代替它寫成

lookupOne _ [] = []     -- The base case pattern 
lookupOne x (y:ys) =     -- Pattern match with (:), don't have to use head and tail 
    if fst y == x     -- Check if the key and lookup value match 
     then snd y : lookupOne x ys -- If so, prepend it onto the result of looking up the rest of the list 
     else   lookupOne x ys -- Otherwise, just return the result of looking up the rest of the list 

這兩個是等價的。事實上，你可以實現filter作爲

filter cond [] = [] 
filter cond (x:xs) = 
    if cond x 
     then x : filter cond xs 
     else  filter cond xs 

而且map作爲

map f [] = [] 
map f (x:xs) = f x : map f xs 

希望你能發現filter和lookupOne之間的相似性，並與map考慮f == snd，讓您擁有兩者的合併map和filter的模式在lookupOne的顯式遞歸版本中。你可以概括這個組合圖案爲一個高階函數

mapFilter :: (a -> b) -> (a -> Bool) -> [a] -> [b] 
mapFilter f cond [] = [] 
mapFilter f cond (x:xs) = 
    if cond x 
     then f x : mapFilter f cond xs 
     else  : mapFilter f cond xs 

，你可以用它來實現lookupOne作爲

lookupOne x list = mapFilter snd (\y -> fst y == x) list 

或者更簡單地說

lookupOne x = mapFilter snd ((== x) . fst) 

Answer 2

我覺得@bheklilr是正確的 - 你錯過了else。

但是，通過將lookupOne作爲函數組合形成，而不是編寫自己的新遞歸函數，可以修復此特定格式問題。

例如，您可以通過定義lookupOne這樣得到正確的一種行爲：

lookupOne a = map snd . filter ((==) a . fst) 

這種方式是清晰的，你先過濾掉輸入列表中的元素，其第一要素的元組匹配鍵，然後提取每個元組的第二個元素。