Short cut fusion

From HaskellWiki
Revision as of 09:28, 18 January 2008 by Janis (talk | contribs) (added link)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Short cut fusion is an optimizer method that merges some function calls into one. E.g. map f . map g can be substituted by map (f . g) and filter p . filter q can be substituted by filter (\x -> q x && p x). It can also help to remove intermediate data structures. E.g. computing sum [1..n] does not require an explicit list structure, and the expression is actually translated into a simple loop.

See also correctness of short cut fusion.