グループの連続同様の要素

Question

私はHaskellのに新たなんだと、ここで私が何をしたいです：

これまでのところ唯一のコンパイルエラー：

groupElems :: Eq a => [a] -> [[a]] 
groupElems [] = [] 
groupElems (x:xs) = 
    let (a,b) = span (<= x) xs 
    in a : (groupElems b) 

ありがとうございました。

エラー：aクラスEqでなければなりませんように

Could not deduce (Ord a) arising from a use of ‘<=’ 
from the context (Eq a) 
    bound by the type signature for groupElems :: Eq a => [a] -> [[a]] 

Answer 1

コンパイラは述べていますtypeclass：<=はどこから来たのですか？と尋ねると、わかりました：

Prelude> :i (<=) 
class Eq a => Ord a where 
    ... 
    (<=) :: a -> a -> Bool 
    ... 
    -- Defined in ‘GHC.Classes’ 
infix 4 <= 

したがって、Ordの型クラスを使用して問題を解決できます。つまり、要素が注文されたことを意味します。しかし、あなたの例に基づいてこれはではなく、です。我々は同様に、型制約としてOrd aを使用する場合：

groupElems :: Ord a => [a] -> [[a]] 
groupElems [] = [] 
groupElems (x:xs) = 
    let (a,b) = span (<= x) xs 
    in a : (groupElems b)

第二の問題は、私たちがxsリストにspanを呼び出す*ということです。 xsはリストのテールです。つまり、我々は頭を考慮に入れないことを意味します。我々が得られます

groupElems :: Ord a => [a] -> [[a]] 
groupElems [] = [] 
groupElems xa@(x:_) = 
    let (a,b) = span (<= x) xa 
    in a : (groupElems b)

：最後のテストケースが正しくないこと

GHci > groupElems [] 
[] 
GHci > groupElems [1,2] 
[[1],[2]] 
GHci > groupElems [1,2,2,2,4] 
[[1],[2,2,2],[4]] 
GHci > groupElems [1,2,3,2,4] 
[[1],[2],[3,2],[4]] 

注意を私たちは、別名@を使用することによって、これを変更し、リスト全体xaを処理することができます。これは、3と2の両方が<= 3述語を満たすためです。あなたが得るエラーを投稿してください

GHci > groupElems [] 
[] 
GHci > groupElems [1,2] 
[[1],[2]] 
GHci > groupElems [1,2,2,2,4] 
[[1],[2,2,2],[4]] 
GHci > groupElems [1,2,3,2,4] 
[[1],[2],[3],[2],[4]] 

Answer 2

あなたの機能を制約しています。ただし、関数<=はOrdの型クラスに属します。これに機能注釈を変更してみてください：

groupElems :: Ord a => [a] -> [[a]] 

Answer 3

コンパイラはaが原因<=を使用しての、Ord型クラスのインスタンスでなければならないと述べています。

groupElems :: Ord a => [a] -> [[a]] 

しかし、あなたはまだEqを使用する必要がある場合は、あなたの代わりに<=の==を使用することができますし、コードは動作します：だから、あなたは、このようにコードを修正することができます。

あなたは全体ではなく、リストのxsを通過したので、私はまた、コードのバージョンが[1,2,2,3,3]例に[1, [], [3]]を返したこと、気づきました。ところで

groupElems :: Eq a => [a] -> [[a]] 
groupElems [] = [] 
groupElems all@(x:xs) = 
    let (a,b) = span (== x) all 
    in a : (groupElems b) 

は、あなたが達成しようとしているん正確に何Data.Listモジュールでgroup機能があります

Answer 4

私は何を探していることはData.List.groupだと思います。 Haskellのコンパイラは言うことを目指し何

Could not deduce (Ord a) arising from a use of ‘<=’ 
from the context (Eq a) 
    bound by the type signature for groupElems :: Eq a => [a] -> [[a]] 

あなたは <= xオムあなたのコードを使用することですが、 <=機能は Eqの ない一部です：

Prelude> Data.List.group [1,2,2,2,4] 
[[1],[2,2,2],[4]]