foldl Mit Anzahl der wahren Werte zählen

Question

ich einen Weg zu finden, ich versucht, die folgende Funktion mit foldl zu tun:

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

Es zählt nur die Anzahl der Werte, die in einer Liste von booleans wahr sind. Ich habe es selbst mit

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

versucht, die nicht einmal kompilieren. Irgendwelche Vorschläge?

Answer 1

also lasst uns die Typen der Funktionen

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 

Also für Ihre Liste der Bool s beteiligt überprüfen, b ist Bool, aber die Funktion, die Sie hat Bool als erstes Argument verwendet wird, nicht die zweite . Der akkumulierte Wert ist das erste Argument. Anstatt also könnten Sie

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

tun oder wenn Sie nur möchten, dass das Argument, um zu beheben, verwenden Sie Ihre ursprüngliche Funktion mit flip

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

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

Oder Sie können prägnanter sein: foldl (flip ((+) . fromEnum)) 0

Answer 2

Wie wäre es mit:

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

Eine andere Möglichkeit, es ohne zu tun t foldl:

count list = sum $ map fromEnum list 

Credit Logan für fromEnum Hinweis. Ich hatte noch nie davon gehört.