An old topic (pun intended)

[bearophile]

Jonathan M Davis:

> I don't recall him ever saying anything about contract programming in D being 
> a failure in any way.

He said unittesting has changed the why you write code and has significantly decreased bugs count, while he was not equally happy about contract programming. From several things he has said, he looks disappointed by D contract programming.


> IIRC, old was rejected because it added extra 
> complication for little value.

It add some complexity, but I can't agree that it adds little value, this is a mistake. The prestate increases significantly the usefulness of contract programming. And I don't remember it being rejected, I just remember the discussion stopped, like a river dying and drying up in a desert. Do you have a link of a post where it was rejected? I think there is an enhancement request about prestate in Bugzilla, and it is open still. Before actually rejecting this feature, it will need one more good discussion in the main D newsgroup.

----------------------

Ali Çehreli:

> He had mentioned that at some point the implementation of contract
> programming had serious bugs but nobody had complained.

I am not sure, but I think I did complain about some of those bugs. I have some old bug reports in Bugzilla about contract programming that are open still.

Bye,
bearophile