Purity

[bearophile]

Steven Schveighoffer:

> you sort of lost me at the SPARK example,

I don't like C++ a lot because it's sometimes too much hard to understand/remember for me, and I don't like C much because it's too much bug prone for me. I think D shares some of the design philosophy of Ada (despite D2 is more bug-prone and less defined/deterministic than Ada).


> but I want to particularly note some inaccuracies that you have.

Going to be fixed.

Bye,
bearophile