You may have noticed that in the past that I’ve talked extensively about Spec# , an object-oriented .NET language based upon C# with contract-first features as well as a non-null type system. This project has not only been covered by myself, but also my CodeBetter compatriot, Greg Young , and by...