Compile-time Verification, It's Not Just for Type Safety Any More

I just came across an interesting presentation over at InfoQ called “Compile-time Verification, It’s Not Just for Type Safety Any More”:

The talk is by Greg Young and focuses on .Net’s contracts library.  It’s quite interesting, and you can see the contracts in action.  From my perspective, what’s very interesting is that he shows compile-time checking of contracts …