Kevin Hazzard talks about Code Contracts, which grew out of Spec# and now exists in the .NET Framework 4.0. He also gives us his take on F#.