An interesting project from Microsoft Research called Spec# ("spec sharp"), is a programming system consisting of a an extension to the C# language that extends the CLR type system with various new features, all designed to enforce safety, hopefully resulting in "high-quality software" (at least this is the aspiration). The downloads include a plugin for VS 2005 that includes the compiler and several samples. Who knows, maybe this is the next great thing?