タイプの宣言Numのリスト

Question

私はハスケルを新しくしています。私はここで何が間違っているのか分かりません。次のコードはエラーを生成します。

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

コードは、リスト内のポジティブ要素の数を返します。リストには、任意のタイプの番号を含めることができます。

エラーは、「（オードa）は、コンテキスト（ヌムA）から 『<』の使用から生じる推測できませんでした...」

を型宣言は、これを許可することになって何と言います関数？

Answer 1

(>) is defined on the Ord typeclass、ないNum型クラスなので、あなたが仕事に、このためaの両方NumとOrd制約を配置する必要があります。Num（「数字」）の要素が上がらない理由の詳細については

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

Ordの要素（「注文するオブジェクト」）は、this questionを参照してください。