Haskell共享：确定编译代码时共享的内容吗？

Question

我有一个关于在haskell（一种功能性编程语言）中共享的问题。

给出

f n | n > 0 = n

我很感兴趣如何逐步评估以下表达式。是：

f (2*3) + f 6 = f 6 + f 6 = 6 + 6 = 12

或者是：

f (2*3) + f 6 = f 6 + f 6 = 6 + f 6 = 6 + 6 = 12

Answer 1

如果GHC“注意到”重复的论点并为您消除它，那将非常令人震惊。这种窥孔分析在技术上并不是不可能的，但是它最终会使您付出的代价远远超过获得的回报。想象你有

g x = f x + f 6

如果编译器希望避免过多地调用f，则它可以每次检查是否x == 6，是否共享结果。但是大多数时候x /= 6，所以这种额外的检查会浪费您的时间。如果您认为优化经常会触发有用的事情，那么您当然可以自己进行。

我还查看了-ddump-simpl的输出，以观察GHCI产生的Core。我相信此输出是在所有优化步骤均已执行之后进行的，因此，至少在GHCI中，不执行此优化将是一个明确的答案；但是，我不确定。

注意，这里有两个无条件调用f。

$ ghci -ddump-simpl

...

Prelude> f (2 * 3) + f 6

==================== Simplified expression ====================
let {
  it_a2Cx :: forall a. (GHC.Num.Num a, GHC.Classes.Ord a) => a
  [LclId,
   Arity=2,
   Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
           WorkFree=True, Expandable=True, Guidance=IF_ARGS [150 0] 550 0}]
  it_a2Cx
    = \ (@ a_a2Yl)
        ($dNum_a2YF :: GHC.Num.Num a_a2Yl)
        ($dOrd_a2YG :: GHC.Classes.Ord a_a2Yl) ->
        GHC.Num.+
          @ a_a2Yl
          $dNum_a2YF
          (Ghci1.f
             @ a_a2Yl
             $dOrd_a2YG
             $dNum_a2YF
             (GHC.Num.*
                @ a_a2Yl
                $dNum_a2YF
                (GHC.Num.fromInteger @ a_a2Yl $dNum_a2YF 2)
                (GHC.Num.fromInteger @ a_a2Yl $dNum_a2YF 3)))
          (Ghci1.f
             @ a_a2Yl
             $dOrd_a2YG
             $dNum_a2YF
             (GHC.Num.fromInteger @ a_a2Yl $dNum_a2YF 6)) } in
GHC.Base.thenIO
  @ ()
  @ [()]
  (System.IO.print
     @ GHC.Integer.Type.Integer
     GHC.Show.$fShowInteger
     (it_a2Cx
        @ GHC.Integer.Type.Integer
        GHC.Num.$fNumInteger
        GHC.Integer.Type.$fOrdInteger))
  (GHC.Base.returnIO
     @ [()]
     (GHC.Types.:
        @ ()
        (it_a2Cx
         `cast` (UnsafeCo representational (forall a.
                                            (GHC.Num.Num a, GHC.Classes.Ord a) =>
                                            a) ()
                 :: (forall a. (GHC.Num.Num a, GHC.Classes.Ord a) => a :: *)
                    ~R# (() :: *)))
        (GHC.Types.[] @ ())))


12