[PILLOLA] Novità .NET Framework 4.0: Code Contracts

[tas]

I Code Contracts (System.Diagnostic.Contracts) sono una interessante novità nel .NET Framework 4.0, che in congiunzione con VS2010 consentono di migliorare il debugging e il testing di una applicazione.

Riporto due video di Channel9, dove il nostro connazionale Francesco Lagozzo, ricercatore Microsoft presso il RiSE ne spiega bene il funzionamento:

• video 1
• video 2

Ulteriori risorse:

• Spazio dei nomi System.Diagnostics.Contracts
• Contratti di codice
• DevLabs: Code Contracts

Da quest'ultimo link è possibile scaricare il plug-in per VS2010.

[albgen]

mah...non sono tanto convinto di questa nuova feature.
Tutto quello che ho visto nella prima presentazione si può benissimo fare tramite AOP e anche meglio.
ps:vedete postsharp.org