An efficient representation for lazy constructors using 64-bit pointers

@inproceedings{Fourtounis2014AnER,
  title={An efficient representation for lazy constructors using 64-bit pointers},
  author={Georgios Fourtounis and Nikolaos S. Papaspyrou},
  booktitle={FHPC@ICFP},
  year={2014}
}
Pointers in the AMD64 architecture contain unused space, a feature often exploited by modern programming language implementations. We use this property in a defunctionalizing compiler for a subset of Haskell, generating fast programs having a compact memory representation of their runtime structures. We demonstrate that, in most cases, the compact representation is faster, uses less memory and has better cache characteristics. Our prototype shows competitive performance when compared to GHC… CONTINUE READING