リストをとり、最初の要素と同じすべての要素のリストを返しますが、関数が機能していない関数を作成しようとしています

Question

特にStringsの要素です。したがって、["so", "what", "and", "so", "for" "so"]となり、返信は["so", "so", "so"]となります。私の問題は、私の関数が入力されたものと同じリストを返すということです。

ここでは、関連するすべてのコードです：

lookAhead :: [String] -> String 
lookAhead [] = [] 
lookAhead (c:cs) = c 

groupFirst :: [String] -> [String] 
groupFirst [] = [] 
groupFirst (x:xs) 
    | lookAhead xs == x = x : (groupFirst ((lookAhead xs):(tail xs))) 
    | lookAhead xs /= x = x : (groupFirst xs) 
    | lookAhead xs == [] = x : [] 

Answer 1

実装に問題がgroupFirst以内に、あなたは、リストを反復処理していると、リストの先頭に（[String]型を持つ）リストの尾を比較するということですが、 （String）。したがって、すべての比較は2番目のガードとマッチし、同じリストを構築することになります。

ファンクションコールを変更せずにリスト全体を反復できるように、最初の文字列をアクセス可能にする方法を見つける必要があります（f strListではなく、f firstStr strList）。引数としてリストの先頭を渡し、関数が別の関数を呼び出すことによって、この問題を解決する1つの方法：

lookAhead :: [String] -> [String] 
lookAhead [] = [] 
lookAhead (x:xs) = x : check x xs 

check :: String -> [String] -> [String] 
check str = foldr (\x acc -> if x == str then x:acc else acc) [] 

Answer 2

lookAhead機能は、最初の要素と、その値がgroupFirst機能に再帰的に更新されて返されます。ヘッド要素-平等-前提filterとして

groupFirst :: [String] -> [String] 
groupFirst [] = [] 
groupFirst list = [x | x <- list, head list == x] 

Answer 3

trail：あなたはそれを行うことの一つの方法は、リストの内包表記を使用している

trail :: Eq a => [a] -> [a] 
trail []  = [] 
trail (x : xs) = x : filter (== x) xs 

trailBySchwartzian transformとmemoizationを使用して：

trailBy :: Eq b => (a -> b) -> [a] -> [a] 
trailBy _ []  = [] 
trailBy f (x1 : xs) = let x1f = f x1 
         in x1 : filter (\ x -> f x == x1f) xs 

trail = trailBy id、ここで、id x = x、ハスケルのアイデンティティ関数。