Utilizzando foldl per contare il numero dei veri valori

Question

Sto cercando di trovare un modo per fare la seguente funzione con foldl:

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

E 'solo conta il numero di valori che sono vere in un elenco di booleani. L'ho provato da solo con

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

Che non ha nemmeno compilato. Eventuali suggerimenti?

Answer 1

Quindi cerchiamo di controllare i tipi di funzioni coinvolte

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 

Quindi per la vostra lista di Bool s, b è Bool, ma la funzione che si sta utilizzando ha Bool come primo argomento, non la seconda . Il valore accumulato è il primo argomento. Così, invece si potrebbe fare

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

O se proprio come per fissare l'ordine argomento, utilizzare la funzione originale con flip

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

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

Oppure si può essere più succinta: foldl (flip ((+) . fromEnum)) 0

Answer 2

Che ne dici di:

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

Un altro modo per farlo senza t foldl:

count list = sum $ map fromEnum list 

credito a Logan per aver ricordato fromEnum. Non ne avevo mai sentito parlare prima.