Mattias Bengtsson
Making a program for generating ADT's and combinators from XML schemas to provide type safe XML is something i'd very much like to do someday. One thing i'm uncertain of is whether supporting namespaces would be a problem or not. It would be a shame to have a bunch of generated XML-standards in Haskell that can't be used together (ie. embedding MathML or SVG in XHTML).
How /can/ one check validity of namespace-using XML? Do you have a separate DTD (or Schema, if you think DTDs are too easy to read) for each namespace? If so, how do you specify where foreign namespaces are legal? If the top-level DTD specifies -- and thus needs to know, in advance, the details about -- the sub-namespaces, then what's the point of namespaces at all? I'm confused. -k -- If I haven't seen further, it is by standing in the footprints of giants