Re: Database library based on SQLite

From: Sebastian Fischer <>
Date: Thu, 18 Aug 2011 13:50:10 +0900


I have just uploaded version 0.5 incorporating changes by Michael. I'm glad
to hear that this version runs with KiCS2!


On Wed, Aug 17, 2011 at 8:06 PM, Sebastian Fischer <> wrote:

> Hello,
> some time ago I wrote a replacement for PAKCS's KeyDatabase library based
> on SQLite. It seems Michael has tried it with non-trivial applications
> (thanks!) so I guess it is safe to announce it now:
> In principle, the library could be used with other Curry systems, like MCC
> or KiCS but there are three problems that currently impede portability:
> 1. The module reuses datatypes from PAKCS's Database module to avoid
> duplicating them. Those types could be easily redefined for systems that do
> not have the Database module.
> 2. The module uses PAKCS's Global module to store database and table names.
> I guess it could be rewritten to use a global IORef and unsafePerformIO.
> 3. The module uses PAKCS's ReadShowTerm module to convert between Curry
> data and strings stored in the database. MCC does not support reading Curry
> terms. With the type-class branch of MCC, conversion could be implemented
> via overloading. For the normal branch, it seems the compiler would need to
> be extended.
> Best regards,
> Sebastian

curry mailing list
Received on Do Aug 18 2011 - 08:28:30 CEST

This archive was generated by hypermail 2.3.0 : Mo Jun 05 2023 - 07:15:12 CEST