[sc34wg3] Comments on latest TMRM draft
Lars Marius Garshol
Fri, 15 Jul 2005 10:38:43 +0200
* Jan Algermissen
| Aside: does the TMRM assume that values can be compared?
Yes, it does. A proxy is a set of (key, value) pairs, and it makes no
sense to have such a set of one component of the pair cannot be
compared. Similarly, proxies are compared by value in T+, which again
assumes that values can be compared.
Personally, I think the whole structure becomes nonsensical if the
values cannot be compared.
Lars Marius Garshol, Ontopian <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50 <URL: http://www.garshol.priv.no >