Re: A data typing proposal

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)

#g


-------------------
Graham Klyne
<GK@NineByNine.org>