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_at_ursa-nb00s0.nbnet.nb.ca>
>
> 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.
>
>
> 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.
>
> Not necessarily.
Received on Tue Jun 20 2006 - 22:46:56 CEST
Date: Tue, 20 Jun 2006 20:46:56 GMT
Message-ID: <49Zlg.104$pu3.1727_at_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 - 22:46:56 CEST