Функция, которая удовлетворяет большинству элементов в haskell

Question

Мне нужно написать код, который даст True, если функция удовлетворяет большинству элементов списка и false в нем не удовлетворяет. например: moreThan odd [1,2,3] есть True, но moreThan odd [1,2,3,4] есть False. Вот мой код:

moreThan funkt xs 
    = let 
     control funkt n (x : xs) 
     = control (if .?. then n + 1 else n) xs 
     contol funkt _ 
     = False 
    in 
    control funtk 0 xs 

кто-нибудь может сказать, как я могу контролировать, что и то, что я должен написать в .?. Спасибо!

Answer 1

, возможно, не самое эффективное решение, но, безусловно, очень четкое один, выглядит следующим образом:

moreThan :: (a -> Bool) -> [a] -> Bool 
moreThan f xs = length ts > length fs where 
    ts = filter id bools 
    fs = filter not bools 
    bools = map f xs 

Answer 2

Функция, которую вы написали, вернет False для всех аргументов, так как вы всегда возвращаете False, когда список заканчивается.

Функция, которую вы пишете, должна отслеживать две переменные: количество обработанных элементов и количество элементов, для которых ваш предикат является истинным. Поскольку этот код, вероятно, является домашним заданием, я даю вам конструкцию, которую вы можете использовать для записи функции. Заполните свой собственный код в -- ??? местах.

moreThan :: (a -> Bool) -> [a] -> Bool 
moreThan pred = go 0 0 where 
    -- procd: number of elements processed 
    -- holds: number of elements for which pred holds 
    go procd holds (x:xs) = go procd' holds' xs where 
    procd' = -- ??? 
    holds' = -- ??? 
    go procd holds []  = -- ??? 

Если вам нужно больше советов, не стесняйтесь оставлять комментарии.

---

Более идиоматических способ написать эту функцию использует складку:

moreThan pred = finalize . foldr go (0,0) where 
    -- process one element of the input, produce another tuple 
    go (procd,holds) x = -- ??? 
    -- produce a boolean value from the result-tuple 
    finalize (procd,holds) = -- ??? 

Answer 3

Знай свои библиотеки!

import Data.List(partition) 
import Data.Function(on) 

moreThan f = (uncurry $ on (>) length) . partition f 

Если вы не можете использовать раздел, написать его самостоятельно:

part f xs = (filter f xs, filter (not.f) xs) 

Или пойти числовой путем:

moreThan f xs = 2*s > length xs where s = sum $ map (fromEnum.f) xs 

Answer 4

Я надеюсь, что это является эффективным (только траверсы список один раз), но все же достаточно ясно.

majority :: (a -> Bool) -> [a] -> Bool 
majority pred = g . sum . map f 
    where f x | pred x = 1 
      | otherwise = -1 
     g y = 0 < y 

Answer 5

majority :: (a -> Bool) -> [a] -> Bool 
majority p = (0 <) . sum . map (\x -> if pred x then 1 else -1) 

То есть карта (если пред х, то 1 еще -1) над элементами списка, затем суммирует элементы списка и выглядит, если результат> 0.