Comment soulever une fonction pour travailler sur des lentilles?

Question

I ont actuellement définis deux fonctions:

avg :: (Fractional e) => [e] -> e 
avg e = uncurry (/) $ foldl' (\(a,l) v -> (a+v,l+1)) (0.0,0.0) e 

avgOf :: (Fractional a) => Getting (Endo (Endo (a, a))) s a -> s -> a 
avgOf g s = uncurry (/) $ foldlOf' g accfun (0.0,0.0) s 
    where accfun (a,l) v = (a+v, l+1) 

Je suis sous l'impression qu'il doit y avoir un moyen facile de se débarrasser de toute mise en œuvre avgOf et le remplacer par un simple que juste « ascenseurs » avg travailler sur des lentilles.

Answer 1

Vous pouvez utiliser partsOf pour construire ceci en tissu entier.

avgOf l xs = xs^..partsOf l.to avg