Re: The IDS, the EDS and the DBMS

"Marshall Spight" <mspight_at_dnai.com> wrote in message news:<u9H_c.134170$mD.74430_at_attbi_s02>...
> > > I want the full power
> > > of the relational model, along with important and/or
> > > modern language features such as type inference,
> > > parametric polymorphism, first-class functions, partial
> > > evaluation, etc.
> >
> > Tutorial D has type inference and parametric polymorphism.
>
> But only for relations, yes?

No, you can overload and override the scalar operators and to check the types of the scalar values.

IMO partial evaluation is more an implementation issue than a language design issue.

Regards Received on Mon Sep 06 2004 - 18:48:22 CEST