по предикату, я так понимаю для seq вариант только через fold, который для такой простой вещи выглядит громоздким
source |> Seq.where predicate |> Seq.length
Seq.countBy?
Тут 2 раза будет обход
А, и такое есть
Судя по сигнатуре, это что-то не то val Seq.countBy : (('a -> 'b) -> seq<'a> -> seq<'b * int>) when 'b : equality
ну оно посчитает тебе кол-во тру и фолсоф
Почему?
Потому что так работают итераторы
Обсуждают сегодня