将地图和fold_left的构图写成fold_left

Question

鉴于

f : A -> B -> A
g : A -> A
l : list B
acc : list A

如何将(map g (fold_left f l acc))写为fold_left？

我尝试过写(fold_left (fun x => (g (f x)) l (map g acc))之类的东西，但似乎没有打字......

Answer 1

您编写fold_left f l acc，但左侧折叠的参数应为fold_left f acc l。这可能是你的问题。