« Return to Thread: "ocaml_beginners"::[] De-unifying variant types

Re: "ocaml_beginners"::[] De-unifying variant types

by Richard Jones-4 :: Rate this Message:

Reply to Author | View in Thread

On Wed, Jul 25, 2007 at 02:53:45PM -0000, cultural_sublimation wrote:
> >
> > Take a look at PG'OCaml (http://merjis.com/developers/pgocaml) as it
> > solves this problem already in a type-safe way.
> Thanks for the reply.  I have looked at PG'OCaml before, and
> though I liked the concept, I was a bit put off by the lock-in
> into Postgresql.

That made me smile :-)

The idea of being "locked in" to free software.  Well, I guess
PG'OCaml does require PostgreSQL, but that's only because it is the
only database which has the necessary 'DESCRIBE' statement (which,
given a statement, parses it and tells you what types it takes and
returns).  If other databases have it, then you could add support for
them.

Rich.

--
Richard Jones
Red Hat

 « Return to Thread: "ocaml_beginners"::[] De-unifying variant types