需要幫助修復一個小問題

Question

我今天發佈了一個問題，有人幫助，但他的代碼不工作。這是鏈接到後link to the post

當我運行他的代碼，我得到一個錯誤：「輸入`解析錯誤'」

的「。」之後「\ t」導致錯誤。在Haskell中是新的，所以我不知道它爲什麼會導致錯誤。

需要幫助解決此問題，但。

感謝

UPDATE

我得到的錯誤，當我加載代碼。這是錯誤：

Couldn't match expected type `a -> Bool' 
      against inferred type `[Bool]' 
    In the first argument of `any', namely 
     `(map (\ t -> contains t b) c)' 
    In the second argument of `(||)', namely 
     `any (map (\ t -> contains t b) c)' 
    In the expression: a == b || any (map (\ t -> contains t b) c) 

需要幫助修復它。

感謝

UPDATE

當我進行更改後，運行該代碼：

data Tree a = Leaf a | Branch a [(Tree a)] deriving (Show) 

contains :: Tree a -> a -> Bool 
contains (Leaf a) b = a == b 
contains (Branch a c) b = a == b or (map (\ t -> contains t b) c) 

這是錯誤我現在得到：

Occurs check: cannot construct the infinite type: 
     a = ([Bool] -> Bool) -> [Bool] -> a 
    When generalising the type(s) for `contains' 

更新3

請這是我的代碼，但我做了所有更改後仍然出現錯誤。我不明白：

data Tree a = Leaf a | Branch a [(Tree a)] deriving (Show) 

contains :: Eq a => Tree a -> a -> Bool 
contains (Leaf a) b = a == b 
contains (Branch a c) b = a == b || (map (\t -> contains t b) c) 

布爾不能在我的系統上工作，所以我必須使用布爾。現在這是我得到的錯誤：

Couldn't match expected type `Bool' against inferred type `[Bool]' 
    In the second argument of `(||)', namely 
     `(map (\ t -> contains t b) c)' 
    In the expression: a == b || (map (\ t -> contains t b) c) 
    In the definition of `contains': 
     contains (Branch a c) b = a == b || (map (\ t -> contains t b) c) 

如果它能工作，請運行上面的代碼。或者，也許我錯過了某個地方。 我非常感謝你的時間。我很感激。

感謝

Answer 1

從它的身體在Haskell分離拉姆達的參數列表的語法->，不.像演算。

順便說一句：這已經在您鏈接到的帖子中修復。

編輯：他還得到了any的用法錯誤 - 他把它當作是or。它需要要麼

or (map (\ t -> contains t b) c) 

或

any (\t -> contains t b) c 

除了這種類型的簽名是錯誤的（Boolean而不是Bool和失蹤Eq約束）。所以，要麼刪除，或將其更改爲：

contains :: Eq a => Tree a -> a -> Bool 

Answer 2

出人意料的是，你的錯誤會告訴你什麼是錯的：你的||右側獲得Bool的List。因此，您需要進一步處理來自map的結果列表，例如，通過應用and或or（可能是後者）。參見http://hackage.haskell.org/packages/archive/haskell98/latest/doc/html/List.html#v:or