Code Contracts (Part III): Evolution

Code Contracts are continuously evolving. As an evidence, the team has recently released an extension for the Visual Studio editor. It allows you to see a code contract in a tooltip. However, this isn't exactly a direction of development that developers would like to see. The implementation of the Code Contracts library still isn't good enough. Many looking at the official forum are afraid to use contracts in production. And there are reasons. Now I'd like to discuss them and to express my wishes regarding development of Code Contracts by Microsoft Research.