3 ms·

C++ type system allows invalid code (that uses freed or uninitialized memory) to run and just do weird incorrect things.

• eru 5y ago
  Sort-of. That code is invalid in some informal sense, but not invalid as far as the formal typesystem is concerned. There's also something about 'soundness' one could say.
  • zohch 5y ago
    You can compile code using reinterpret cast "incorrectly" in c++ just fine.
    • eru 5y ago
      Maybe, but isn't that explicitly opting out of the typesystem's guarantees?
• choeger 5y ago
  So does every Turing-complete language with non-termination. Type systems are decidable and thus cannot, by definition, rule out all errors. Instead, they look at a subset of possible errors. This subset is provably eliminated from valid code. "Dynamically typed" languages reduce that subset to the empty set.