Re: Web standard compliance, accessibility and free software was Re: Frod [was Re: [Fsfe-uk] Free internet (technologically)]

[Robin Green]

On Thu, Jun 05, 2003 at 07:58:04PM +0100, Marc Eberhard wrote:
> On Thu, Jun 05, 2003 at 04:37:52PM +0100, Robin Green wrote:
> > a decent application - prove that code always outputs valid markup! With
> > a well-structured programming language, this is perfectly doable.
> > (Ehhh... and left as an exercise to the reader ;-)
> 
> XML + DTD + XSLT -> HTML

Yeah, good approach for many cases... doesn't do what I said though.

What I'm on about is proving, not that one PARTICULAR document validates against
a DTD, but that all possible outputs of a bit of code are valid, even with 
really
strange or boundary case inputs (which are always the killers, aren't they).
Ideally it'd be a compiler switch or something, so you wouldn't need to 
completely
re-architect your app to use XML - you could just recompile ;)

-- 
Robin

"It doesn't make sense. How would you transfer the product but not have the 
copyright attached?"
-- Darl McBride, SCO CE on the contract SCO signed with Novell (which "doesn't 
make sense"!)

Governments do not exist to provide lucrative contracts for proprietary software
developers.