添加實例聲明haskell

Question

這是我的功能：

    bestLocByArtiest :: String -> [Review] -> Double
    bestLocByArtiest art = rev
        where gmloc = [gemZaalByArtiest art, gemFestByArtiest art, gemOpenByArtiest art]
              rev = max gmloc 

這是我得到的錯誤：

    Review.hs:101:24:
Couldn't match type `[Review] -> Double' with `Review'
Expected type: [Review] -> Double
  Actual type: [[Review] -> Double] -> [[Review] -> Double]
In the expression: rev
In an equation for `bestLocByArtiest':
    bestLocByArtiest art
      = rev
      where
          gmloc = [gemZaalByArtiest art, ....]
          rev = max gmloc

因此，我希望有人可以向我解釋該錯誤的含義以及為解決該問題而必須更改的內容。

編輯通過將最大值更改為最大值，我得到了這個新錯誤：

    Review.hs:103:21:
No instance for (Ord ([Review] -> Double))
  arising from a use of `maximum'
Possible fix:
  add an instance declaration for (Ord ([Review] -> Double))
In the expression: maximum gmloc
In an equation for `rev': rev = maximum gmloc
In an equation for `bestLocByArtiest':
    bestLocByArtiest art
      = rev
      where
          gmloc = [gemZaalByArtiest art, ....]
          rev = maximum gmloc

這是什么意思？

Answer 1

假定使用String調用bestLocByArtiest則rev的類型需要為[Review] -> Double 。 但是實際上是[[Review] -> Double] -> [[Review] -> Double] 。 這基本上就是錯誤消息所說的。

因此，要解決此問題，您需要更改bestLocByArtiest的類型簽名，或者需要修改rev功能。 這涉及查看max ， gmloc的類型以及gmloc的各個元素，以確保它gmloc您的要求。