I'm looking at the code contracts library included in .NET 4
Anyone using this regularly and/or have opinions ?
I'm currently working with VS Pro so, whilst I can see some benefit in the runtime checks, it seems to me that I'm missing the most useful facet (i.e. static checking).....