W3C home > Mailing lists > Public > public-html@w3.org > April 2007

Re: Formal definition of HTML5 (was Re: Version information)

From: Henrik Dvergsdal <henrik.dvergsdal@hibo.no>
Date: Sun, 15 Apr 2007 00:31:00 +0200
Message-Id: <8ced9cd86e43b9c9252a8c15e4b0bb8c@hibo.no>
To: public-html@w3.org

On Apr 14, 2007, at 13:34, Henri Sivonen wrote:

> The W3C XML Schema datatypes are useless for HTML5 conformance 
> checking with the exception of the regular expression facet of the 
> string type. RELAX NG has an escape hatch that allows custom datatypes 
> to be implemented in a Turing-complete programming language. But that 
> comes back to the issue of having to use a Turing-complete language.
> In the case of my HTML5 datatype library, the plan is to write a spec 
> that is precise enough to allow independent interoperable 
> implementations without inspecting the source of my implementation.

Does this mean that the full set of machine-checkable criteria in  
XHTML5 could be specified by means of a RELAX NG schema with references 
to your datatype library?

Received on Saturday, 14 April 2007 22:31:43 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 29 October 2015 10:15:18 UTC