Stream Fusion. From Lists to Streams to Nothing at All

Stream Fusion. From Lists to Streams to Nothing at All (2007)

by Duncan Coutts , Roman Leshchinskiy , Don Stewart

Venue:	ICFP’07
Citations:	29 - 5 self

User correction supplied by andy.melnikov

Datum	Value	Source
TITLE	Stream Fusion. From Lists to Streams to Nothing at All	user correction
AUTHOR NAME	Duncan Coutts	user correction
AUTHOR AFFIL	Programming Tools Group. Oxford University Computing Laboratory	user correction
AUTHOR NAME	Roman Leshchinskiy	user correction
AUTHOR AFFIL	Computer Science & Engineering. University of New South Wales	user correction
AUTHOR NAME	Don Stewart	user correction
AUTHOR AFFIL	Computer Science & Engineering. University of New South Wales	user correction
ABSTRACT	This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion systems. In particular, stream fusion is able to fuse zips, left folds and functions over nested lists, including list comprehensions. A distinguishing feature of the framework is its simplicity: by transforming list functions to expose their structure, intermediate values are eliminated by general purpose compiler optimisations. We have reimplemented the Haskell standard List library on top of our framework, providing stream fusion for Haskell lists. By allowing a wider range of functions to fuse, we see an increase in the number of occurrences of fusion in typical Haskell programs. We present benchmarks documenting time and space improvements.	user correction
YEAR	2007	user correction
VENUE	ICFP’07	user correction
VENUE TYPE	CONFERENCE	user correction
CITATIONS	24 found	ParsCit 1.0