Ein gemeinsames Muster Einbeziehung Zusammensetzung von Funktionen (\ a b -> f (g a) (g b))

Question

Die Zusammensetzung von f und g, das aussieht wie

f :. g = \a b -> f (g a) (g b) 

ein Muster, das ich sehr oft in meinem Code finden. Es ähnelt der unären Funktionszusammensetzung, nur f ist binär und ich möchte g auf beide Argumente anwenden, bevor sie an f übergeben werden.

Als ich lambdabot bitte dies zu Punkt freier Form zu konvertieren, erhalte ich die seltsamen Beschwörungs

, die ich lieber nicht in meinem Code, so dass ich am Ende nur explizit das Muster auszuzuschreiben .

Gibt es eine allgemein akzeptierte Möglichkeit, einen Kombinator für diese Situation zu schreiben? Oder bin ich seltsam, dass ich mich in dieser Situation ziemlich oft wiederfinde?

Ich habe kein aktuelles Beispiel, wenn ich es jetzt benutze, da ich nie daran gedacht habe, hier zu fragen, wenn ich es brauche, aber man könnte sich vorstellen, die euklidische Distanzformel sehr sauber zu schreiben, so wie:

distance = sqrt . (+) :. (^2) 

Answer 1

Diese Funktion on im Data.Function Modul aufgerufen wird.

Es wird oft Infix verwendet, wie sqrt . (+) `on` (^2).

Answer 2

Versuchen Sie nicht, es punktefrei zu schreiben. Dies ist ein Beispiel dafür, dass Punktfreiheit häufig nicht so gut lesbar ist.

definieren Sie es einfach so:

(:.) :: (b -> b -> c) -> (a -> b) -> (a -> a -> c) 
infixr 9 (:.) 
f :. g x y = f (g x) (g y)