W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2004

[FS] MS-FS-LC1-065

From: Michael Rys <mrys@microsoft.com>
Date: Mon, 14 Jun 2004 12:18:16 -0700
Message-ID: <EB0A327048144442AFB15FCE18DC96C70324ED7B@RED-MSG-31.redmond.corp.microsoft.com>
To: <public-qt-comments@w3.org>

General		
Technical	

The formal semantics raises both static type errors and dynamic type
errors not differentiating that under static typing, no dynamic type
errors should occur. This needs to be made explicit. With static typing
on, all type errors need to be detected statically (conservative static
typing!).
Received on Monday, 14 June 2004 15:19:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:20 UTC