[sc34wg3] Comments on latest TMRM draft

[Jan Algermissen]

On Jul 14, 2005, at 8:52 PM, Lars Marius Garshol wrote:

> To say that "values are unconstrained" seems like hand-waving. At the
> very least some minimal conditions have to be spelled out.
>

FWIW, I think the TMRM could only benefit from explicitly saying that  
values are typed. (They are anyhow, because if they do not have a  
type, no one can do anything with them. So why not say it? You cannot  
even compare two values if they have no type.)

The value types (aka data types) are of course unconstrained. They  
can be simple or complex. For the TMRM value types (and values) are  
opaque of course. (Is that what is meant with 'unconstrained')?

Aside: does the TMRM assume that values can be compared?


Jan

________________________________________________________________________ 
_______________
Jan Algermissen, Consultant & Programmer                         
http://jalgermissen.com
Tugboat Consulting, 'Applying Web technology to enterprise IT'   
http://www.tugboat.de