[XML-SIG] SOAP Skepticism

[Uche Ogbuji]

> > We have to acknowledge the world as it is and not as we would like it=
 to
> > be. That's why I've started a service description language for servic=
es
> > based on XML+HTTP.
> =

> IMHO, static descriptions of message formats (i.e. services schemas) ar=
e
> good. I always liked programming by contract, which, if you are to do
> checking, doesn't stop halfway as types and method signatures do. I'll =
go
> read it.

Absolutely.  Types as used in most languages, databases, etc, are just =

apalling hacks in place of proper programming by contract.  And it's not =
as if =

it hasn't been proven that PBC can work practically (you don't really nee=
d a =

mathematical proof of correctness for each function: just the primitives =
to =

meet the 80/20 rule).


-- =

Uche Ogbuji                               Principal Consultant
uche.ogbuji@fourthought.com               +1 303 583 9900 x 101
Fourthought, Inc.                         http://Fourthought.com =

4735 East Walnut St, Boulder, CO 80301-2537, USA
XML strategy, XML tools (http://4Suite.org), knowledge management