I forgot to mention - I added contract programming to C++ back in the 80's. https://www.digitalmars.com/ctg/contract.html https://www.digitalmars.com/ctg/contr

I forgot to mention - I added contract programming to C++ back in the 80's. https://www.digitalmars.com/ctg/contract.html https://www.digitalmars.com/ctg/contract.html