Haskell Persistence

[Vorin, Michael]

I am interested in pursuing practical development of persistence in Haskell.
To this end I have been looking for code/systems which have been developed
previously to build upon - not wishing to reinvent the wheel.

I have found some references in the literature but have been enable to track
down any "artefacts".

I was hopping someone could help me.

I have found:
(1) Efficient Persistent Haskell, Tony Davie, Kevin Hammond, and Juan
Quintela Division of Computer Science, University of St Andrews, 1998

(2) Models for Persistence in Lazy Functional Programming Systems, McNally,
University of St Andrews, 1993.

(3) A Functional Database (1989)  (Correct)  Phil Trinder

(4) Two Models For Integrating Persistence and Lazy Functional Languages
(1991) David J. McNally, Antony J.T. Davie

(5) Realizing State-Based Database Concepts in a Non-Strict, Statically
Typed, Purely Functional Persistent Programming Language  Yoshihiko Ichikawa
Department of Information Sciences, Ochanomizu University  


___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Haskell Persistence

[Tim Barbour]

Vorin, Michael writes:
 > I am interested in pursuing practical development of persistence in Haskell.
 > To this end I have been looking for code/systems which have been developed
 > previously to build upon - not wishing to reinvent the wheel.

I am implementing persistent memory for Linux (i.e. like virtual memory, but
non-volatile, with ACID transaction semantics). Perhaps something will be
working sometime in 2002.

It is my hope that persistent memory will serve as a foundation for making
functional data structures persistent, eventually leading towards a functional
operating system.

Tim
-- 
"They that can give up essential liberty to obtain a little temporary
 safety deserve neither liberty nor safety." -- Benjamin Franklin

___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Re: Haskell Persistence

[Andre Santos]

Hi,

a paper describing what a student and I did is in
http://www.cin.ufpe.br/~alms/ps/persiste.ps.gz .

The idea was to have a class supporting the persistence
operations (more in the style of serialization) and
to have specific data structures to allow
a quicker retrieval of the data ("Persistence Containers").
This is similar to what we have in some
Object Oriented Databases.

For the low level implementation we used the work on
Binary I/O work of Wallace/Runciman.
But in order to get more portability we reimplemented
parts of it using Strings/Chars for I/O,
which ended up very inneficient in Haskell.

Some things that might help are:
- better binary I/O and/or to interface with some low level
   existing persistence mechanism.
- I believe a kind of reflection mechanism would
   make things much easier and more efficient
   to implement.
   Although automatic derivation of the instances
   helps.

There are some other references in the paper.

cheers,

Andre.

> | -Original Message-
> | From: Vorin, Michael [mailto:[EMAIL PROTECTED]] 
> | Sent: 07 December 2001 03:21
> | To: [EMAIL PROTECTED]
> | Subject: Haskell Persistence
> | 
> | 
> | I am interested in pursuing practical development of 
> | persistence in Haskell. To this end I have been looking for 
> | code/systems which have been developed previously to build 
> | upon - not wishing to reinvent the wheel.
> | 
> | I have found some references in the literature but have been 
> | enable to track down any "artefacts".
> | 
> | I was hopping someone could help me.
> | 
> | I have found:
> | (1) Efficient Persistent Haskell, Tony Davie, Kevin Hammond, 
> | and Juan Quintela Division of Computer Science, University of 
> | St Andrews, 1998
> | 
> | (2) Models for Persistence in Lazy Functional Programming 
> | Systems, McNally, University of St Andrews, 1993.
> | 
> | (3) A Functional Database (1989)  (Correct)  Phil Trinder
> | 
> | (4) Two Models For Integrating Persistence and Lazy 
> | Functional Languages
> | (1991) David J. McNally, Antony J.T. Davie
> | 
> | (5) Realizing State-Based Database Concepts in a Non-Strict, 
> | Statically Typed, Purely Functional Persistent Programming 
> | Language  Yoshihiko Ichikawa Department of Information 
> | Sciences, Ochanomizu University  
> | 
> | 
> | ___
> | Haskell mailing list
> | [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
> | 
> 



___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell