Re: typing and overflow

Section 17.3 of the 1.1 query spec (sorry, can't link directly to it, on my phone, but open the spec and search for "promotion") says that it does type promotion (inherited from XPath F&O), and links to the description at http://www.w3.org/TR/xpath20/#promotion

> On 28 Oct 2014, at 11:59, John Yates <john.yates@sparqlcity.com> wrote:
> 
> Coming from the world of statically typed languages I am trying figure out whether SPARQL specifies a model of type determination within expressions.  C and C++ have a set of integral promotions and a rule that - in the absence of a prototype - float gets promoted to double.  Those rules then imply the boundaries at which overflow checking occurs.
> 
> Does SPARQL have anything analogous?  Does SPARQL acknowledge overflow?  Where would I find such notions specified?
> 
> /john
> 
> 
> SPARQLcity reshapes the world of big data.
> Immediately gain knowledge from NoSQL databases.