Re: <code type="...">

Dmitry Turin <html60@narod.ru> writes:
> JS> <code> should have a type attribute, which indicates the media type of the
> JS> inlined content(-fragment).
>
> JS>     <code type="text/x-python-source">
>
> Let's prolong this idea, and we will describe semantic of all tags !
> Let's foresee future, and use 'role' for all tags at all.

I don't understand what you're saying.

The semantics of the code element are defined by
<http://www.whatwg.org/specs/web-apps/current-work/#the-code>.  I'm not
suggesting that @type refines those semantics.  I'm suggesting that if you
include (a fragment of) content, it is useful to know the media type of that
content.  If the content was fetched (via HTTP, at least), the headers of
that response can indicate the type; but here, as the content is included
inline, there is no other way to determine the media type.


> JS> Also, I note the analog with <object type=...>.
>
> There is no analogy,
> because |type| of OBJECT specify technical characteristic,
> but |type| of _all_ tags at all specify semantic characteristic.

In the same way that <object type> specifies a technical characteristic (the
media type) of the referenced object, <code type> would specify a technical
characteristic (the media type) of the in-lined code.

-- 
...jsled
http://asynchronous.org/ - a=jsled; b=asynchronous.org; echo ${a}@${b}