db:: 3.56::Code Contracts: Deep Invariant for immutability ...
Hi, First of all, thanks so much for including DbC into the Framework. This should have a profound effect on all .NET code moving forward. I was thinking about some of the ways that I might try to use Code Contracts and I thought about null (Nothing in VB :) checking and how nulls affect code at runtime (remembering back to a recent video of Anders Hejlsberg mentioning that it might have been ...