W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3717] Cardinality inference for 'cast as' should take operand into account

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Sep 2006 09:55:10 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GOAPe-0003gw-3Z@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3717





------- Comment #2 from frans.englich@telia.com  2006-09-15 09:55 -------
I agree the proposed change is a patch in the traditional sense. However, I
think it's a large patch. That is, that most of these problems are caused by
cast expressions.

I have a hard time understanding relaxing signatures. That static typing
decreases usability is a consequence -- a trade off. The point of static typing
is to reduce branching/possibilities in the implementation, and relaxing a
signature is doing the opposite.

I'm not opposed to relaxing fn:dateTime, I just have a hard time understanding
it, since it to me seems contradictory to why people wanted static typing in
the first place.
Received on Friday, 15 September 2006 09:55:23 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC