Re: Storing data and code in a Db with LISP-like interface

From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 2 May 2006 07:46:26 -0700
Message-ID: <1146581186.835434.128990_at_g10g2000cwb.googlegroups.com>

Marshall Spight wrote:

> Point 5 ... I will grant you nothing in the relational world is
> very far along with parametric polymorphism. The significance
> of this fact, however, is greatly reduced by the fact that
> the relational algebra is itself parametrically polymorphic.

By way of expanding on that:

Consider that almost everything fancy an OOPL can do can be accomplished with a small number of natual joins. But what is necessary to get an OOPL to do a natural join? I know of no programming language (outside of a few very new research languages, like perhaps Epigram) that can correctly assign a type to natural join. C++ can't do it. Haskell can't do it.

Marshall Received on Tue May 02 2006 - 16:46:26 CEST

This message: [ Message body ]
Next message: U-gene: "The OverRelational Manifesto ("TheORM"). Needs to be debunked."
Previous message: Marshall Spight: "Re: Storing data and code in a Db with LISP-like interface"
In reply to: Marshall Spight: "Re: Storing data and code in a Db with LISP-like interface"
Next in thread: Bob Badour: "Re: Storing data and code in a Db with LISP-like interface"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message