Haskell: Вызов функции несколько раз в одной и той же линии

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 'не может быть и логическим, и возможно.

Но лучше записать так:

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

вычислить и разделить результат только одной отрасли.