An efficient representation for lazy constructors using 64-bit pointers

Abstract

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 with full optimizations on.

Ο Νοηματικός Μετασχηματισμός Ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού

“…Το κεφάλαιο περιλαμβάνει υλικό που παρουσιάστηκε το 2013 σε άρθρο των Γ. Φουρτούνη, Ν. Παπασπύρου και Π. Ροντογιάννη[97], καθώς και υλικό από άρθρο του 2014 των Γ. Φουρτούνη και Ν. Παπασπύρου[95].…”