ocaml - 単一の fold_left を使用して、リストの長さと合計の両方を見つける

Question

私は頭を包み込もうとしてきましfold_leftたfold_right。練習として、私は多くの関数を書き直し、知識を強化しようfold_leftとしています。fold_rightたとえば、リストの平均を見つけるには、フォールドを使用してリストの合計と長さを計算します。

let sum_l xs = List.fold_left (fun x y -> x + y) 0 xs;;
let len_l xs = List.fold_left (fun x _ -> x + 1) 0 xs;;

そして、平均を見つけることに進みます。これが私の質問です。これらの値の両方を 1 つの単一にすることは可能fold_leftですか? 匿名関数はどのように記述すればよいですか? ありがとう！

Answer 1

アキュムレータとしてペアを使用するだけです。

# let sum_and_len xs = List.fold_left (fun (s,l) x -> s+x, l+1) (0,0) xs;;
val sum_and_len : int list -> int * int = <fun>
# sum_and_len [0;1;2;3];;
- : int * int = (6, 4)