[FS] MS-FS-LC1-065 from Michael Rys on 2004-06-14 (public-qt-comments@w3.org from June 2004)

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

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