Efficient and Type-Safe Generic Data Storage

In this paper we present an elegant method for sequentializing arbitrary data using the generic language extension of the functional programming language Clean. We show how the proposed operations can be used to store values of any concrete data type in several kinds of IO containers (such as files...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2009-06, Vol.238 (2), p.59-70
Main Authors: Smetsers, Sjaak, van Weelden, Arjen, Plasmeijer, Rinus
Format: Article
Language:English
Subjects:
data storage/sequentialization
functional programming
Polytypic/generic programming
type inference
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we present an elegant method for sequentializing arbitrary data using the generic language extension of the functional programming language Clean. We show how the proposed operations can be used to store values of any concrete data type in several kinds of IO containers (such as files or arrays of characters), and how to manipulate stored data efficiently. Moreover, by extending stored data with encoded type information, data manipulation will be type-safe. Defining these operations generically has the advantage that specific instances for user defined data types can be generated fully automatically. Compared to traditional sequentialization methods (or to common data manipulation, using relational data bases) our operations are an order of magnitude faster.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2009.05.007