Code Contracts e Static Checker
Microsoft Research sta sviluppando da tempo un progetto, Code Contracts, che consente tra le altre cose di specificare pre-condizioni e post-condizioni associate al codice di un programma .NET.
Uno dei pezzi più interessanti di questa tecnologia è lo Static Checker, che durante la compilazione genera dei warning su parti di codice che non rispettano le condizioni e che talvolta possono essere la causa di un bug, magari limitato a casi limite che per la legge di Murphy si verificheranno quando è meno opportuno.
Per capire meglio di cosa si tratta è sufficiente guardare questo video di 20 minuti (i primi 10 bastano a capire cosa si ottiene, gli altri 10 spiegano comefunziona lo static checker internamente) di Francesco Logozzo - oltre che il nome, un evidente indizio della sua provenienza è il numero di confezioni di Illy che sono sulla mensola all'inizio del video!