Visual Studio 2010 と .NET Framework 4 がリリースされました。人によっていろいろと注目している点が違うと思いますが，私が気になっているのは契約プログラミングです。といっても契約プログラミングの流儀がわかりませんけどね。例えば引数チェックに関しては ArgumentException と契約のいずれを用いるべきなのかとか，そのあたりを示したガイドラインはあるのでしょうか。