Destination-passing style programming: a Haskell implementation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2024

Destination-passing style programming: a Haskell implementation

Abstract

Destination-passing style programming introduces destinations, which represent the address of a write-once memory cell. Those destinations can be passed as function parameters, and thus enable the caller of a function to keep control over memory management: the body of the called function will just be responsible of filling that memory cell. This is especially useful in functional programming languages, in which the body of a function is typically responsible for allocation of the result value. Programming with destination in Haskell is an interesting way to improve performance of critical parts of some programs, without sacrificing memory guarantees. Indeed, thanks to a linearly-typed API I present, a write-once memory cell cannot be left uninitialized before being read, and is still disposed of by the garbage collector when it is not in use anymore, eliminating the risk of uninitialized read, memory leak, or double-free errors that can arise when memory is managed manually. In this article, I present an implementation of destinations for Haskell, which relies on so-called compact regions. I demonstrate, in particular, a simple parser example for which the destination-based version uses 35% less memory and time than its naive counterpart for large inputs.
Fichier principal
Vignette du fichier
jfla2024-paper-16.pdf (257.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04406360 , version 1 (19-01-2024)

Licence

Identifiers

  • HAL Id : hal-04406360 , version 1

Cite

Thomas Bagrel. Destination-passing style programming: a Haskell implementation. 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France. ⟨hal-04406360⟩
72 View
55 Download

Share

Gmail Mastodon Facebook X LinkedIn More