Type checking is usefull ...

Google search for WSDL and type checking led me to this thread on LtU where Frank Atanassow puts up strong argument for static typechecking and relationship between programming language semantics and type system semantics. Might as well grab a local copy, taking into account instability of LtU site...

( Programmers enter here )