On Wed, Oct 01, 2003 at 04:39:55PM +0200, Christophe TROESTLER wrote:
> 1) Develop AST for SQL requests which would guarantee their internal
>    coherence (and also write a tool for each DB engine that, for a
>    given database, outputs a module (or so) to enable the checking of
>    the query against the DB types (1)).

That's a huge amount of work, and you have to redo it for each DB
engine. (Rather you than me is what I'm saying :-)

If you're interested in my take on "DBI" have a look at the mod_caml
CVS, eg:

http://savannah.nongnu.org/cgi-bin/viewcvs/modcaml/modcaml/dbi.mli?rev=1.2&content-type=text/vnd.viewcvs-markup
http://savannah.nongnu.org/cgi-bin/viewcvs/modcaml/modcaml/dbi_postgres.ml?rev=1.2&content-type=text/vnd.viewcvs-markup

There's a PostgreSQL implementation of the API which mostly works.

I'm afraid you may be disappointed that it doesn't do anything fancy
with printf or camlp4 :-)

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj
Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you.
C2LIB is a library of basic Perl/STL-like types for C. Vectors, hashes,
trees, string funcs, pool allocator: http://www.annexia.org/freeware/c2lib/

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners