[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Macros Make Me Mad

--- "Michael Sperber [Mr.  Preprocessor]"
<sperber@informatik.uni-tuebingen.de> wrote:
> A combinator language for SQL.  Francisco Solsona's
> SchemeQL goes in
> that direction, as probably do its Common Lisp
> counterparts.  Of
> course, these don't give you static syntax checking,
> but I'm pretty
> sure you'd be able to model this in some variant of
> Hindley/Milner.
> In fact, I'd be surprised if the ML/Haskell folks
> haven't come up with
> something in that direction; it's just something I
> haven't researched.

I think the long-term goal of SchemeQL is to get to
C.J. Date's Third Manifesto:


It seems he wants an FP language with multipe
dispatch.   Anyone know a language like that? ;-)

There is a Haskell system that is similar to SchemeQL
but adds static typing:


There are two things to note here:
- they use an extension to the Haskell type system
- synchronising the type definitions on the Haskell
side with those on the DB side must be very easy or it
will quickly slow down development.

A tighter intergration of the programming language
with the DB can lead to fun stuff:


I seem to be having this conversation in a number of



Do you Yahoo!?
Yahoo! Web Hosting - Let the expert host your site