Sử dụng foldl để đếm số giá trị đích thực

Question

Tôi đang cố gắng để tìm thấy một cách để làm chức năng sau đây với foldl:

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

Nó chỉ đếm số giá trị mà là đúng trong một danh sách các phép toán luận. Tôi đã tự thử bản thân mình với

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

Mà thậm chí không biên dịch. Bất kỳ đề xuất?

Answer 1

Vì vậy, hãy kiểm tra các loại các chức năng liên quan đến

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 

Vì vậy cho danh sách các Bool s, b là Bool, nhưng các chức năng bạn đang sử dụng có Bool như là đối số đầu tiên, không phải là thứ hai . Giá trị tích lũy là đối số đầu tiên. Vì vậy, thay vào đó bạn có thể làm

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

Hoặc nếu bạn chỉ muốn sửa chữa để tranh luận, sử dụng chức năng ban đầu của bạn với flip

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

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

Hoặc bạn có thể gọn gàng hơn: foldl (flip ((+) . fromEnum)) 0

Answer 2

Cách thực hiện:

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

Một cách khác để làm điều đó withou t foldl:

count list = sum $ map fromEnum list 

Tín dụng cho Logan để chỉ ra fromEnum. Đã không nghe nói về điều đó trước đây.