Rewriting Haskell Strings (2007)
| Venue: | In Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007 |
| Citations: | 14 - 6 self |
BibTeX
@INPROCEEDINGS{Coutts07rewritinghaskell,
author = {Duncan Coutts and Don Stewart and Roman Leshchinskiy},
title = {Rewriting Haskell Strings},
booktitle = {In Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007},
year = {2007},
pages = {50--64},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transformations based on term rewriting are used to deforest intermediate ByteStrings automatically. We describe novel fusion combinators with improved expressiveness and performance over previous functional array fusion strategies. A library for ByteStrings is implemented, providing a purely functional interface, which approaches the speed of low-level mutable arrays in C.
