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

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