This is an interesting idea ..
With the original source code, the compiled contract model introduces a new compile-time step: a source code engine (called a “contract compiler”) is invoked to produce an unambiguous, fully-documented Web service contract. Interoperability is enforced at compile-time because the process halts if the contract compiler cannot produce a contract that conforms to a widely-established set of interoperability standards. The contract compiler can also facilitate a clean, lightweight development process by automatically packaging the application artifact.
http://www.webcohesion.com/compiled_contract.html