Pre-proceedings of the 20th International Symposium on Implementation and Application of Functional Languages pages:17-32
Implementation and application of functional languages edition:20 location:Hertfordshire, United Kingdom date:10-12 September 2008
Pure functional programming language offer many advantages over impure languages. Unfortunately, the absence of destructive update, imposes a complexity barrier. In imperative languages, there are algorithms and data structures with better complexity.
We present our project for combining existing program transformation techniques to transform inefficient pure data structures into impure ones with better complexity. As a consequence, the programmer is not exposed to the impurity and retains the advantages of purity.
Published as Technical Report No. 474, School of Computer Science, University of Hertfordshire. Hatfield, AL10 9AB, UK