Future of contract-based programming in D

[Paulo Pinto via Digitalmars-d]

On Tuesday, 7 April 2015 at 12:51:45 UTC, Delirius wrote:
> The D features which interest me the most are those supporting 
> contract-based programming. I want to experiment with that and 
> I know no other production ready  language which has this level 
> of support, except the original gangsta Eiffel but the only 
> supported Eiffel compiler is proprietary and expensive.

EiffelStudio does have an open source license for non commercial 
purposes.

You are also forgetting Ada 2012, Spark, .NET, Clojure, Raket 
among many others.

C++17 also has a few proposals for contract programming (N4160, 
N1962, N4075, N4110).

--
Paulo