[Bug 1634] New: [FS] "type correct", "type safe", "type-safe", "well-typed" from bugzilla@wiggum.w3.org on 2005-07-15 (public-qt-comments@w3.org from July 2005)

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Jul 2005 21:38:56 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DtXtY-0006bt-CL@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1634

           Summary: [FS] "type correct", "type safe", "type-safe", "well-
                    typed"
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


3.2.3 Static typing judgment
The last two words of this section are "type correct".  The phrases
"type safe", "type-safe" and "well-typed" are also found in 
various places.  What is the relationship 
between these terms?  I suspect they are all the same.  Please
pick one and use it consistently.  A formal 
definition, with hotlinks to it, would be appropriate.

Received on Friday, 15 July 2005 21:38:58 UTC