писать состав карты и 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. Это может быть вашей проблемой.