Fri, 28 Jan 2011 16:14:27 +0000, Roman Ivanov wrote: > == Quote from Andrei Alexandrescu (seewebsiteforem...@erdani.org)'s > article >> On 1/27/11 8:02 PM, Walter Bright wrote: >> > I think one of the reasons DbC has not paid off is it still requires >> > a significant investment of effort by the programmer. It's too easy >> > to not bother. >> One issue with DbC is that its only significant advantage is its >> interplay with inheritance. Otherwise, scope() in conjunction with >> assert works with less syntactic overhead. So DbC tends to shine with >> large and deep hierarchies... but large and deep hierarchies are not >> that a la mode anymore. > > DbC opens many interesting possibilities if it's supported by tools > other than just the compiler. MS has included it in .NET 4.0: > > http://research.microsoft.com/en-us/projects/contracts/
Mono 2.8 also seems to support those: http://www.mono-project.com/news/archive/2010/Oct-06.html
