W3C home > Mailing lists > Public > www-ql@w3.org > January to March 2006

RE: question about subtyping and type annotations

From: Michael Kay <mhk@mhk.me.uk>
Date: Fri, 24 Feb 2006 16:57:55 -0000
To: "'Jerome Simeon'" <simeon@us.ibm.com>
Cc: "'Per Bothner'" <per@bothner.com>, <www-ql@w3.org>
Message-ID: <E1FCgGa-0007Th-Qt@maggie.w3.org>

> Section 3.12.5 Constructor Functions seems to be pretty clear 
> about it:

That only says they are equivalent to casts. Are casts exempt from the
general rule of substitutability, which says that any expression can return
a value whose dynamic type is a subtype of the required type?

Michael Kay
Received on Friday, 24 February 2006 16:58:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:43:44 UTC