編號列表的類型聲明

Question

我是Haskell的新手，我不知道自己在做什么錯。 以下代碼生成錯誤。

numOfPos :: Num a => [a] -> Int
numOfPos xs = length [x | x <- xs, x > 0]

該代碼僅返回列表中正數的數量。 該列表可以包含任何類型的數字。

錯誤顯示“無法從上下文（數字a）中推斷出使用'<”引起的（Ord a）...”

應該允許該功能的類型聲明是什么？

Answer 1

(>)是在Ord類型類上定義的 ，而不是在Num類型類上定義的，因此您需要同時將Num和Ord約束都放在a才能使其起作用：

numOfPos :: (Num a, Ord a) => [a] -> Int
numOfPos xs = length [x | x <- xs, x > 0]

有關為何Num （“數字”）元素不是Ord （“有序對象”）元素的更多信息，請參見此問題 。