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
