Re: Database library based on SQLite

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 18 Aug 2011 13:50:10 +0900

Hello,

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

Sebastian

On Wed, Aug 17, 2011 at 8:06 PM, Sebastian Fischer <
sebf_at_informatik.uni-kiel.de> 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:
>
> https://github.com/sebfisch/curry-sqlite3
>
> 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
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Aug 18 2011 - 08:28:30 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET