Stream Fusion

About

Data.List.Stream provides the standard Haskell list data type and api, with an improved fusion system, as described in the papers Stream Fusion and Rewriting Haskell Strings. Code written to use the Data.List.Stream library should run faster (or at worst, as fast) as existing list code. A precise, correct reimplementation is a major goal of this project, and Data.List.Stream comes bundled with around 1000 QuickCheck properties, testing against the Haskell98 specification, and the standard library. This project is also know as Ticket 915.

News

• 2007-14 stream-fusion 0.1, a standalone package, is now available on hackage.haskell.org, for ghc 6.8 use. Find it here.
• 2007-10 The foundation stream data type and some combinators on streams is available in the mlton extended basis library.
• 2007-04 Vesa Karvonen has made an experimental implementation of stream fusion for SML.
• 2007-04 A new paper, Stream Fusion: From Lists to Streams to Nothing at All, is now available, describing stream fusion in detail.
• 2007-03 Work is now underway to replace the Data.List library with a stream fusible implementation.

Documentation

• Paper: Stream Fusion: From Lists to Streams to Nothing at All
• Paper: Rewriting Haskell Strings
• API documentation
• Slides: Lists to Streams to Nothing at All: overview of stream fusion.
• Slides: Rewriting Haskell Strings: stream fusion for ByteStrings
• Slides: Nested Data Parallelism in Haskell: fusion for parallel array programs

Source

• darcs get --partial http://www.cse.unsw.edu.au/~dons/code/streams/list
• darcs get --partial http://www.cse.unsw.edu.au/~dons/code/streams/base
• darcs get --partial http://www.cse.unsw.edu.au/~dons/code/streams/ghc
• Read the source code

Project Activity