Свёртка пустого вектора возвращает нейтральный элемент

Вот с ⌈/⍬ я бы поспорил. Самое отрицательное число с плавающей точкой - настоящее значение, и вызывающий код, забывший о пустом случае, получает правдоподобный максимум и идёт дальше. Rust делит иначе.

let empty: [i64; 0] = [];
let s: i64 = empty.iter().sum();
let p: i64 = empty.iter().product();
println!("{s} {p} {:?}", empty.iter().max());

Вывод 0 1 None. У суммы и произведения есть нейтральные элементы, и они их возвращают. i64::MIN тоже годится в нейтральный элемент для max, но Rust возвращает Option, и что значит пустой ввод, решает вызывающий. У чисел с плавающей точкой max на итераторе вообще нет, потому что f64 не реализует Ord. Приходится писать fold(f64::NEG_INFINITY, f64::max) и выбирать ответ APL вручную, зато этот выбор виден в месте вызова.

Это нейтральный элемент. ⌈/x,⌈/⍬ равно ⌈/x для любого x. Склеили, свернули, тот же ответ. Поэтому свёртка складывается из кусков. Option это ломает. Каждый частичный результат надо распаковать перед следующим шагом.

Забытый пустой случай бывает на самом деле. Его делает вызывающий, который не думал, что пусто бывает. Там None превращается в unwrap, и программа падает вместо того, чтобы врать. Это лучше тихого неверного максимума, признаю.

Go пошёл третьим путём. slices.Max паникует на пустом срезе, и в документации так и написано. Сначала меня это удивило, а теперь читается честно, ведь ответа у функции нет.