右手演算子セクションの部分評価

Question

私は関数(*~)を持っています。 x *~ yを評価するコストの大部分は、おおよそこれらの線に沿って第2引数を、検査から来ている：

(*~) :: 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 

は、部分的に(*~ y)のようなオペレータのセクションを評価するためにGHCを説得するためにいくつかの方法はありますか？

私はそれが好きで書き換えてみました：

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

が、助けていないようでした。 flipは、反転する前にすべての議論が必要なので、これは考えられますか？

オペレータ自体を反転させるのが単なる方法ですが、既存の表記法と並んでいるため、高価なオペランドが右側にある場合は、はるかに自然に読み込みます。

正しく製作された{-# RULE #-}はここで私を救うことができますか？もしそうなら、それは何を言いますか？ （特に、ルールがマッチを探す前にセクション構文がどの程度離れているかは不明です）

Answer 1

このような最適化をトリガーするには、関数がインライン化されていることを確認する必要があります。 {-# INLINE (*~) #-}プラグマを(*~)関数の宣言の前に置きます。私はそれがあなたの問題を解決することを保証することはできませんが、私はそれが近づいているのを見る唯一の方法です。私は後で"ghc-core"のようなツールを使って、生成されたCoreコードを調べてみましょう。

ただし、問題は実際には不適切なコード構成の兆候です。あなたの機能は、無関係の複数のことをしています。 expensive yを単純に取り除く必要があります。その場合、問題はそのまま消去されます。つまり、使用パターンはx *~ yの代わりにx *~ expensive yである必要があります。