3 ms·
I used to use C++ a lot for a mixture of reasons. I avoid it like the plague now, because I'm not confident that anyone completely understands the semantics of
by sobellian 9y ago
I used to use C++ a lot for a mixture of reasons. I avoid it like the plague now, because I'm not confident that anyone completely understands the semantics of a non-trivial C++ program.
Even if I did, the cognitive overhead of this stuff detracts from real programming.
- yalph 9y ago> Even if I did, the cognitive overhead of this stuff detracts from real programming. You are absolutely right.And why the standard comittee dont see this is beyond me.
- kraghen 9y agoI have a suspicion that all non-trivial C++ programs contain undefined behaviour (e.g. not checking for or preventing overflow at every arithmetic operation involving signed integers), so trying to understand the semantics of these programs is kind of a moot point. On the other hand, if anyone tried to formalise the semantics of C++ and prove some kind of soundness theorem they would probably find that the language definition is technically inconsistent. Paraphrasing Feynman, if you think you understand C++ then you don't understand C++.