Re: Example of expression bias?

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Tue, 20 Jun 2006 20:46:56 GMT
Message-ID: <49Zlg.104$pu3.1727@ursa-nb00s0.nbnet.nb.ca>

Tony D wrote:

> Neo wrote:
>

>>Is it possible to create a database on Lamda Calculus?

>
> Since any computable expression can be written in the lambda calculus,
> then theoretically yes. You probably wouldn't want to; you would
> probably attempt it using one of the syntactically sugared
> implementations of the typed lambda calculus.
>

>>Does one exist?

>
> Whilst it's difficult to be absolutely certain, I think 'no' is a
> reasonably safe answer. I'd be very happy to be proved wrong in this.

Am I totally way off base or would prolog approximate one?

>>In what significant way would it be different than current RMDBs? Would
>>its interface language automatically be LISP-like instead of SQL-like?

>
> Not necessarily.
Received on Tue Jun 20 2006 - 15:46:56 CDT