Because you would make many proven algorithms from Knuth or CLRS illegal. This is never acknowledged by the C++ people: Idiomatic C++ is not suitable for formal proofs, if you don't believe me, ask Xavier Leroy.
Because you would make many proven algorithms from Knuth or CLRS illegal. This is never acknowledged by the C++ people: Idiomatic C++ is not suitable for formal proofs, if you don't believe me, ask Xavier Leroy.