Difference between revisions of "Difference list"

From HaskellWiki
Jump to: navigation, search
(extract from Haskell-Cafe session)
Line 36: Line 36:
* Haskell-Cafe: [http://www.haskell.org/pipermail/haskell-cafe/2008-January/037405.html Difference lists and ShowS]
* Haskell-Cafe: [http://www.haskell.org/pipermail/haskell-cafe/2008-January/037405.html Difference lists and ShowS]
* Wikipedia on [http://en.wikipedia.org/wiki/Difference_list Difference lists]

Revision as of 10:05, 4 January 2008

Difference lists as functions

A difference list of the second sort represents lists as a function f, which when given a list x, returns the list that f represents, prepended to x. Whether this kind of difference list is more efficient than another list representations depends on usage patterns. If an algorithm builds a list by concatenating smaller lists, which are themselves built by concatenating still smaller lists, then use of difference lists can improve performance by effectively "flattening" the list building computations.

This can best be exemplified by show and shows of Prelude, where the first one implements the naive approach and the second one uses difference lists. Consider showing a binary tree.

L-T-R gives

  • (show L) ++ (show T ++ (show R))
  • ((show LL) ++ (showLT ++ (show LR))) ++ (show T ++ (show R))
  • (((show LLL) ++ (show LLT ++ (show LLR))) ++ (show LT ++ (show LR))) ++ (show T ++ (show R))

If the tree is large, you end up with a pretty large left association for the left subtree. True, there's lot of right association, too, but bad enough.

With difference lists you write

  • shows L . (shows T . shows R)
  • (shows LL . (showsLT . shows LR)) . (shows T . shows R)
  • ((shows LLL . (shows LLT . shows LLR)) . (showsLT . shows LR)) . (shows T . shows R)

You still need to resolve three (.) until you get to the first character of the result string, but for the subsequent characters you do not need to resolve those dots. In the end, resolution of all (.) may need some time but then concatenation is performed entirely right-associative.


See also