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
