В Haskell, как подсчитать количество конкретных Int в списке

Question

Я пытаюсь создать функцию countElems, которая принимает Int и [Int] и возвращает, сколько из этого конкретного Int находится в списке. До сих пор у меня есть:

countElems :: Int -> [Int] -> Int 
countElems n (x:xs) 
| xs == [] = 0 
| n == x  = 1 + countElems n xs 
| n /= x  = countElems n xs 

При запуске, это похоже на работу, но при дальнейшем осмотре, если вы вводите countElems 9 [5, 3, 9, 3, 9] выход 1 вместо 2. Я вижу это потому, что он проверяет, что xs == [], прежде чем увидеть, если n == x приводит к некорректному выходу, но если я поменяю эти два случая вокруг, то говорит Non-exhaustive pattern.

Редактировать после дальнейших размышлений:

Я мог бы устранить ошибку @ user2407038 отправил с этим кодом:

countElems :: Int -> [Int] -> Int 
countElems _ [] = 0 
countElems n (x:xs) 
| n == x  = 1 + countElems n xs 
| n /= x  = countElems n xs 

Это выглядит менее элегантно, но работает точно так же?

Answer 1

Ваша функция не является исчерпывающим независимо от заказа вы поместите охранников Рассмотрим countElems 9 [].. Это ошибка, поскольку шаблон не совпадает с пустым списком. (Возможно, это желаемое поведение для вашего дела, но обычно ошибки являются плохими). Рассмотрите возможность использования сопоставления с образцом здесь:

countElems n (x:xs) = fromEnum (n == x) + countElems n xs 
countElems _ []  = 0 

fromEnum избегает if, который мне нравится, но вы не должны использовать его.

Здесь, вероятно, нет необходимости использовать явную рекурсию. Попробуйте \x = length . filter (==x).

Answer 2

В вашей первой проверки (xs == [] = 0) вы забыли проверить x==n, в этом случае результат должен быть 1 вместо 0:

countElems n (x:xs) 
| xs == [] = if x==n then 1 else 0 
| n == x  = 1 + countElems n xs 
| n /= x  = countElems n xs 

Другой (возможно, более простой) реализация может посмотреть на список как целом:

cE n [] = 0 
cE n (x:xs) = (if n==x then 1 else 0) + (cE n xs) 

Answer 3

Вы также можете написать его с помощью карты:

countElems :: Int -> [Int] -> Int 
countElems n xs = sum $ map (fromEnum . (==n)) xs 

Answer 4

Еще одно без рекурсивных положений:

countElem e = length . filter (e ==)