Avoid unnecessary evaluations - comp.lang.haskell

Допис з розмови Avoid unnecessary evaluations

Florian Kreidler

Переглянути профіль

Більше налаштувань 28 Тра, 17:11

Групи новин: comp.lang.haskell

Від: Florian Kreidler <m...@privacy.net>

Дата: 28 May 2009 16:11:42 +0200

Місцевий час: Чт 28 Тра 2009 17:11

Тема: Re: Avoid unnecessary evaluations

  Відповісти автору
  |
  Переслати | Друк | Дивитися гілку
  | Показати оригінал
  | Повідомити адміністраторів про це повідомлення | Знайти повідомлення від цього автора
  

Frank Poettgen <Frank.Poett...@Post.RxWyTxH-AyAzCyHzEyN.de> schrieb:

> Assume that the evaluation of a function 'expensive' takes a lot of
> time. Hence I want to avoid unnecessary evaluations of 'expensive'.

> expensive :: Int -> (Int,Int)
> expensive x = (x,x)

> f :: Int -> Int
> f x = fst (expensive x) + snd (expensive x)

> Will 'expensive x' be evaluated twice to compute 'f x'?

That will depend on your compiler. Some compilers do common
subexpression elimination, others don't. The reason is that
this transformation can sometimes introduce space leaks. In
your case it wouldn't be dangerous, but you cannot rely on
your compiler recognizing this.

> If so, how can I avoid it?

Rewrite the function by hand:

f x = fst e + snd e where e = expensive

or, using pattern matching,

f x = l + r where (l, r) = expensive x

or, more compact but less comprehensible,

f = uncurry (+) . expensive

Відповісти автору Переслати