DMCA
Unboxed values as first class citizens in a non-strict functional language (1991)
| Venue: | Proceedings of the 5th ACM conference on Functional programming languages and computer architecture |
| Citations: | 119 - 14 self |
BibTeX
@INPROCEEDINGS{Jones91unboxedvalues,
author = {Simon L Peyton Jones and John Launchbury},
title = {Unboxed values as first class citizens in a non-strict functional language},
booktitle = {Proceedings of the 5th ACM conference on Functional programming languages and computer architecture},
year = {1991},
pages = {636--666},
publisher = {Springer-Verlag New York, Inc.}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The code compiled from a non-strict functional program usually manipulates heap-allocated boxed numbers. Compilers for such languages often go to considerable trouble to optimise operations on boxed numbers into simpler operations on their unboxed forms. These optimisations are usually handled in an ad hoc manner in the code generator, because earlier phases of the compiler have no way to talk about unboxed values. We present a new approach, which makes unboxed values into (nearly) first-class citizens. The language, including its type system, is extended to handle unboxed values. The optimisation of boxing and unboxing operations can now be reinterpreted as a set of correctness-preserving program transformations. Indeed the particular transformations required are ones which a compiler would want to implement anyway. The compiler becomes both simpler and more modular. Two other benefits accrue. Firstly, the results of strictness analysis can be exploited within the same uniform transformational framework. Secondly, new algebraic data types with unboxed components can be declared. Values of these types can be manipulated much more efficiently than the corresponding boxed versions. Both a static and a dynamic semantics are given for the augmented language. The denotational dynamic semantics is notable for its use of unpointed domains.
Keyphrases
unboxed value first class citizen non-strict functional language dynamic semantics heap-allocated boxed number ad hoc manner new approach uniform transformational framework unboxing operation code generator denotational dynamic semantics first-class citizen non-strict functional program unboxed form strictness analysis new algebraic data type boxed number particular transformation corresponding boxed version unpointed domain type system simpler operation correctness-preserving program transformation augmented language unboxed component
