Ленай оценка с предикатом

Question

Я пытаюсь написать функцию в Haskell, которая подсчитывает элементы в списке, удовлетворяющем предикату, и возвращает True, если число превышает некоторый порог. У меня есть реализация, которая выглядит следующим образом:

hitsThreshold :: Int -> (a -> Bool) -> [a] -> Bool 
hitsThreshold threshold test strs = 
    (length $ filter test strs) >= threshold 

Проблема заключается в том, что я хочу, чтобы это оценить лениво, так что он закончится, как только длина достигает порога. Например, я должен иметь возможность проходить в бесконечном списке, и он должен заканчиваться за конечное время (при условии, что порог в конечном итоге будет достигнут). Есть ли простой способ сделать это?

Answer 1

Вот пример того, что вы хотите

length $ take 10 $ filter even [1..] 

[1 ..] бесконечна, так что если бы это было не лень, программа будет висеть.

Вы прокладываете трубку [1 ..] через фильтр even, затем закрываете номер на 10 .... Затем вы делаете что-то с этим списком. Вместо length вы можете проверить, достигли ли они порога, используя (>= 10) $ length).