foldl a contar el número de verdaderos valores

Question

Estoy tratando de encontrar una manera de hacer lo siguiente función con foldl:

count a = length (filter (\i -> i) a) 

Sólo cuenta el número de valores que son verdaderas en una lista de booleanos. Lo intenté yo mismo con

count = foldl (\i -> 
      case i of 
       True -> (1+) 
       False -> (0+) 
      ) 0 

Que ni siquiera compiló. ¿Alguna sugerencia?

Answer 1

Así que vamos a ver los tipos de las funciones involucradas

Prelude> :t (\i -> case i of { True -> (1+) ; False -> (0+) }) 
(\i -> case i of { True -> (1+) ; False -> (0+) }) :: (Num t) => Bool -> t -> t 
Prelude> :t foldl 
foldl :: (a -> b -> a) -> a -> [b] -> a 

Así que para su lista de Bool s, b es Bool, pero la función que está utilizando tiene Bool como primer argumento, no el segundo . El valor acumulado es el primer argumento. Así que en lugar que podría hacer

foldl (\acc p -> case p of { True -> acc + 1 ; False -> acc }) 0 

O si lo que desea es fijar el orden de los argumentos, utilice su función original con flip

Prelude> :t flip 
flip :: (a -> b -> c) -> b -> a -> c 

foldl (flip (\i -> case i of 
          True -> (1+) 
          False -> (0+) 
      )) 0 

O puede ser más sucinta: foldl (flip ((+) . fromEnum)) 0

Answer 2

¿qué tal:

count = foldl (\i v -> if v then i + 1 else i) 0 

Otra manera de hacerlo withou t foldl:

count list = sum $ map fromEnum list 

crédito a Logan por señalar fromEnum. No había oído hablar de eso antes.