Variable Declaration in Query Prolog

• From: TAN Kuan Hui <kuanhui@mobileworkspace.com>
• Date: Thu, 24 Jan 2002 09:42:46 +0800
• To: <www-ql@w3.org>
• Message-ID: <000e01c1a479$70f66ac0$200000c0@pinecone>

Hi,

Could anyone shed some light as to why variable declaration shouldn't
be declared in the query prolog ? Wouldn't variable declaration be
desirable for static-typing to be more effective ? 
Vis-a-vis, variables can be made to default to type Item if
it was not declared and thereafter down-cast accordingly ?

Ref : 2.1.1.1 Static Context (XQuery 1.0)
Quote : "Unlike the other parts of the static context, variable types are
not declared in the query prolog. Instead, they are derived from static 
analysis of the expressions in which the variables are bound"

Thanks.
Kuan Hui

Received on Wednesday, 23 January 2002 20:50:17 UTC