哈斯克爾：在同一行內調用函數多次

Question

如果我有像下面

功能

f x = if g x /= Nothing then g x else False 

將g在f被調用兩次或不Haskell的「緩存」的g x初審後的結果以後可能在同一行中使用？我試圖優化一些代碼，但我不知道上述風格的函數是否像我希望的那樣計算成本高出兩倍。

在此先感謝。

Answer 1

Haskell實現不記憶函數調用。

Haskell編譯器，如GHC do do common subexpression eliminiation但有一些限制。

如果有疑問，請分享結果。

f x = if g' /= Nothing then g' else False 
    where g' = g x 

但是你有一個類型錯誤，因爲g'不能同時是布爾值和Maybe。

但更好的寫法如下：

f x = case g x of 
      Nothing -> .. 
      Just _ -> .. 

計算和共享的結果只有一個分支。