[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Relax NG, Thoughts, etc.

• To: Norman Walsh <ndw@n...>
• Subject: Re: Relax NG, Thoughts, etc.
• From: Burak Emir <Burak.Emir@e...>
• Date: Sat, 04 Dec 2004 15:08:44 +0100
• Cc: xml-dev@l...
• In-reply-to: <87y8gep3u2.fsf@n...>
• Organization: EPFL
• References: <200411281458.iASEwla19622@s...> <87mzwv5na7.fsf@n...> <41B0AB19.1060208@d...> <87y8gep3u2.fsf@n...>
• User-agent: Mozilla Thunderbird 0.8 (X11/20040913)

Norman Walsh wrote:

>/ Rich Salz <rsalz@d...> was heard to say:
>|> <shrug/> Intelligent folks building real systems tell me that
>|> validation isn't actually something you do in production code
>|
>| Those folks are asking for a world of pain once/if they move their
>| application out of a tightly controlled environment.  Trust, but
>| verify. How many Web problems were caused by not validating HTML form
>| data?
>
>Oh, I expect their doing validation, but it's in their application
>and it isn't implemented directly in any particular schema language.
>Or maybe they're cruising for a bruising, I dunno.
>
>  
>
If one uses XML for serializing objects and nothing else, then things 
get easier. But developing real systems would get easier if there was a 
way of developing them so that validity (well-typedness) is checked 
statically.

The system would be validating (in some form) when it gets input from 
the outside, but it would never run validation because the programs are 
type-checked, producing correct outputs from correct inputs.

In small systems, one can also get by without the static checking, then 
the programmer has to be clever enough to overlook everything, doing 
some mental type-checking of his code. But programmers have limits, and 
I'd guess real systems can easily be beyond that limit.

cheers,
Burak

-- 
Burak Emir

http://lamp.epfl.ch/~buraq

• Follow-Ups:
  • Re: Relax NG, Thoughts, etc.
    • From: Rich Salz <rsalz@d...>

• References:
  • Re: Relax NG, Thoughts, etc.
    • From: Norman Walsh <ndw@n...>
  • Re: Relax NG, Thoughts, etc.
    • From: Rich Salz <rsalz@d...>
  • Re: Relax NG, Thoughts, etc.
    • From: Norman Walsh <ndw@n...>

• Prev by Date: Re: The XML Backlash
• Next by Date: Re: XML Pipeline
• Previous by thread: Re: Relax NG, Thoughts, etc.
• Next by thread: Re: Relax NG, Thoughts, etc.
• Index(es):
  • Date
  • Thread