Получить X первые элементы из списка

Question

Рассмотрим 2 списка: ["a","b","c"] и ["a","b","c","d","e","f"]

Я хочу, чтобы проверить, если первый список является началом другого списка я думал, что я мог бы использовать:

["a","b","c"] == head (splitAt (length ["a","b","c"]) ["a","b","c","d","e","f"]) 

К сожалению, это не сработает. Есть ли другой способ получить первые 3 элемента из списка в новом списке?

Answer 1

Вместо того, чтобы использовать take, вы можете использовать zipWith, чтобы избежать перебора списков дважды. Когда вы вызываете length, вам сначала нужно пересечь более короткий список, затем вы берете столько значений из более длинного списка, а затем просматриваете списки, сравнивая элемент за элементом. Что будет более разумным, так это прохождение обоих списков в одно и то же время, прекратив сравнение, когда более короткий срок истек. zipWith обеспечивает именно такую ​​функциональность:

-- Definitions for `and` and `zipWith` in `Prelude` 
-- 
-- and :: [Bool] -> Bool 
-- and [] = True 
-- and (x:xs) = x && and xs 
-- 
-- zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] 
-- zipWith f (x:xs) (y:ys) = f x y : zipWith f xs ys 
-- zipWith _ _  _  = [] 

sameStartingElements :: Eq a => [a] -> [a] -> Bool 
sameStartingElements xs ys = and $ zipWith (==) xs ys 

Благодаря лени, это определение будет только пройти оба списка один раз, и он останавливается, как только один из них исчерпывает элементов. Это будет несколько более эффективным, и это позволит избежать необходимости знать длину одного из этих списков.

Answer 2

Функция, которую вы ищете, это take. См. here.

Answer 3

Я хочу проверить, является ли первый список началом другого списка.

Вы можете использовать isPrefixOf из модуля Data.List.