Если сравнить последний вариант с типичными функциями на OCaml для обработки списков, то он бы выглядел как-то так:

let mean lst =
    match lst with
    | [] -> None
    | _  -> Some (let count = ref 0 in
           let sum = List.fold_left (fun x1 x2 -> count := !count + 1; x1 +. x2) 0. lst in
           sum /. float_of_int !count)

Вариант на C++, где по аналогии с Rust я накуралесил лямбду, сразу отправляется в мусор, как неведомая переусложнённая фигня. В обычном цикле со счётчиком тип count естественно становится целым и возникает вопрос о 0-м значении.

В каждом из этих двух случаев проблема пустого множества становится очевидна, если писать в традиционном для языка стиле, не уповая на мантру "оно безопасно". Так что вопросы про множество пусть задаёт тот растоман, для которого исходный вариант это "нормальная операция".

У меня пока один вопрос: кто додумался позиционировать Rust как замену императивному языку, и почему я до сих пор не увидел, что бы кто-то назвал его функциональным.