This may be of interest to some people on this list. It's a complete
type-safe interface to PostgreSQL, from Objective CAML (OCaml) where
statements are checked not just for syntax, but for types, at compile
time.
http://merjis.com/developers/pgocaml
It works by shuffling the statements off to the database at compile
time, PREPARE-ing them, and then DESCRIBE-ing them.
In addition, it's pure OCaml. It doesn't use libpq at all (which has
advantages and disadvantages as it turns out).
Rich.
--
Richard Jones, CTO Merjis Ltd.
Merjis - web marketing and technology - http://merjis.com
Team Notepad - intranets and extranets for business - http://team-notepad.com