On Saturday, 21 June 2014 at 18:11:32 UTC, Chris Cain wrote:
On Saturday, 21 June 2014 at 18:07:25 UTC, Temtaime wrote:
Too many attributes in D.
In C++ there is no pure, safe, trusted and others.
And it's C++ that shows that almost all of D attributes are
not necessary.
Welcome to attribute hell !
Of course. But pure/safe/trusted/others statically verify that
huge classes of errors cannot occur and make reasoning about
code much easier. You're correct that it's not necessary, but
they're certainly desirable in many ways.
I'd willfully trade bug hell for "attribute hell".
(well, "trusted" doesn't statically verify anything, it just
makes it so you can manually verify the safety of the function so
it can be used in safe functions, but you know what I mean)