These are chat archives for Microsoft/CodeContracts

30th
Mar 2016
Yaakov
@yaakov-h
Mar 30 2016 08:42
@SergeyTeplyakov What's happening? This project going dead as a doornail for extended periods doesn't exactly install confidence in consumers...
Jeroen Mostert
@jeroen-mostert
Mar 30 2016 09:51
It is rather annoying that MS seems neither willing to dedicate resources to it, nor make a firm statement on what kind of resources it wants to dedicate. Making it open source won't help either if there's no resources for merges. Do MS teams even use CC themselves? If so, what do they think about it?
Veikko Eeva
@veikkoeeva
Mar 30 2016 14:38

Mm, maybe it is only fair to point out that in many sources, e.g. at https://blogs.msdn.microsoft.com/dotnet/2015/02/03/coreclr-is-now-open-source/

I had a look and notice most of the Code Contracts are commented out. Will this be fixed at some point?
No, we currently don't have plans to bring in code contracts.

https://github.com/aspnet/Home/wiki/Engineering-guidelines

Use Debug.Assert() to assert a condition in the code. Do not use Code Contracts (e.g. Contract.Assert).

I remember reading on some research papers as to why pre- and post-conditions are somewhat a problematic thing in production code. Basically, I think, verifying is problematic. For that maybe a promising direction is dependent types and considering especially Microsoft perhaps F*.