• bearophile <bearophileHUGS lycos.com> Dec 18 2010

bearophile <bearophileHUGS lycos.com> writes:

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