Orthogonal serialisation for Haskell

Jost Berthold

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

3 Citationer (Scopus)

Abstract

Data serialisation is a crucial feature of real-world programming languages, often provided by standard libraries or even built-in to the language. However, a number of questions arise when the language in question uses demand-driven evaluation and supports higher-order functions, as is the case for the lazy functional language Haskell. To date, solutions to serialisation for Haskell generally do not support higher-order functions and introduce additional strictness.
This paper investigates a novel approach to serialisation of Haskell data structures with a high degree of flexibility, based on runtime support for parallel Haskell on distributed memory platforms. This serialisation has highly desirable and so-far unrivalled properties: it is truly orthogonal to evaluation and also does not require any type class mechanisms. Especially, (almost) any kind of value can be serialised, including functions and IO actions. We outline the runtime support on which our serialisation is based, and present an API of Haskell functions and types which ensure dynamic type safety of the serialisation process. Furthermore, we explore and exemplify potential application areas for orthogonal serialisation.
OriginalsprogEngelsk
TitelImplementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
RedaktørerJurriaan Hage, Marco T. Morazán
Antal sider16
ForlagSpringer
Publikationsdato2011
Sider38-53
ISBN (Trykt)978-3-642-24275-5
ISBN (Elektronisk)978-3-642-24276-2
DOI
StatusUdgivet - 2011
Begivenhed22nd International Symposium on Implementation and Application of Functional Languages - Alphen aan den Rijn, Holland
Varighed: 1 sep. 20103 sep. 2010
Konferencens nummer: 22

Konference

Konference22nd International Symposium on Implementation and Application of Functional Languages
Nummer22
Land/OmrådeHolland
ByAlphen aan den Rijn
Periode01/09/201003/09/2010
NavnLecture notes in computer science
Vol/bind6647
ISSN0302-9743

Citationsformater