Teilweise Auswertung rechtshändige Bedienerabschnitte

Question

Ich habe eine Funktion (*~). Der größte Teil der Kosten für die x *~ y Auswertung kommt aus dem zweiten Argument Inspektion, etwa entlang dieser Linien:

(*~) :: a -> b d -> c d a 
x *~ y = case y' of 
      Bar -> cheapFunction y' x 
      Baz -> cheapFunction2 y' x 
      Quux -> cheapFunction3 y' x 
    where 
    y' = expensive y 

Gibt es eine Möglichkeit GHC zu überzeugen, teilweise Operator Abschnitte wie (*~ y) zu bewerten?

Ich habe versucht, es wie Umschreiben:

(*~) = flip go 
    where 
    go y = let y' = expensive y 
      in case y' of 
       Bar -> cheapFunction y' 
       Baz -> cheapFunction2 y' 
       Quux -> cheapFunction3 y' 

aber es schien nicht zu helfen. Ich denke, dies könnte sein, weil flip alle Argumente benötigt, bevor es das Spiegeln macht?

Ein Weg wäre nur, den Operator selbst umzudrehen, aber er liest viel natürlicher, wenn der teure Operand auf der rechten Seite steht, weil er mit einer existierenden Notation übereinstimmt.

Kann ein richtig gefertigter {-# RULE #-} mich hier heraus retten? Wenn ja, was sollte es sagen? (Ich bin unklar, wie weit die Schnittsyntax entziffert wurde, bevor Regeln nach Übereinstimmungen suchen.)

Answer 1

Um eine solche Optimierung auszulösen, müssen Sie sicherstellen, dass Ihre Funktion inline wird. Platzieren Sie das Pragma {-# INLINE (*~) #-} vor der Deklaration der (*~)-Funktion. Ich kann dir nicht garantieren, dass es dein Problem lösen wird, aber es ist die einzige Art, wie ich sehe, dass es angegangen wird. Ich überprüfe den generierten Core-Code anschließend mit einem Tool wie "ghc-core", um sicherzugehen.

Ihr Problem ist jedoch nur ein Hinweis auf eine falsche Codezusammensetzung. Ihre Funktion macht mehrere nicht zusammenhängende Dinge. expensive y sollte einfach davon ausgeschlossen werden, dann wird Ihr Problem als solches gelöscht. Das heißt, das Verwendungsmuster sollte x *~ expensive y anstelle von x *~ y sein.