Re: A data typing proposal

On 2002-07-31 13:07, "ext Graham Klyne" <Graham.Klyne@MIMEsweeper.com>
wrote:

> At 11:23 AM 7/31/02 +0300, Patrick Stickler wrote:
>> Guha, as far as I know, there is full concensus on local datatyping,
>> both for the idiom and its meaning. The issue of debate has always
>> been the global/implicit idiom -- or how one may assert datatyping
>> constraints or assertions for all values of a property, and
>> how such constraints/assertions relate to implicit/untyped literal
>> values.
> 
> I believe Guha's proposal is entirely consistent with what we call the
> local data typing idiom.
> 
> (Just a data point opinion)

Yes, I agree. Sorry that I wasn't clear on that.

Patrick 

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com