Does schema fascism help or hinder interoperability?

The big advantage of type-aware programming, the b&d languages, is that
they *enforce* types.  Pass a long to a Java method that takes int
without casting, and it won't even compile.  You have to cast, which
means that you have to think about why the parameter is typed int, but
the value is long, and handle, in code, the cases when the value is of
greater magnitude than the parameter.

With XML Schema, you get to this a *lot*.  Instead of types helping you
not to make errors, they help you make more.  Does your language
differentiate between positiveInteger and nonNegativeInteger?  No?  What
a pity!  You have to.  Does your language understand gHorribleKludge
natively?  Get on it, then.  And on, and on.