Re: simplified datatyping proposal

>At 12:27 PM 2/20/02 -0600, Pat Hayes wrote:
>>Well, I half-agree, but we can't have all three things at once:
>>
>>1. You and Graham want range-sensitive inline literals.
>>2. Dan C. wants an inline literal used with no datatyping to 
>>unambiguously denote a character string.
>>3. We all want the logic to be monotonic.
>>
>>Something has to give.
>
>Didn't the S proposal achieve all that?

No proposal can possibly achieve all that. Regardless of semantic 
ingenuity, those three are a logical contradiction by themselves. The 
*spec* is a contradiction, so theres no point trying to meet it.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Wednesday, 20 February 2002 22:25:04 UTC