Le novità di .net 4.0
Sul BCL Team Blog è possibile leggere un post sulle novità del framework .net 4.0. Tra le tante novità sicuramente quella su cui sbavo di più è questa:
Code Contracts
System.Diagnostics.Contracts provides a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. We partnered with Microsoft Research to deliver this feature in .NET 4.0. More information and tools are available on Microsoft Research’s code contracts website. There’s also a highly-rated PDC sessionavailable online.
Finalmente un Design By Contract come dico io. E se le premesse sono queste c’è da sperare bene. Sbav sbav!!
