You could make a reasonable case that the C and C++ type systems do indeed cause more problems than they solve - C's for allowing, nay, forcing you to do too many unsafe things on the bare metal, and C++s for its sheer complexity and allowing you to do unsafe/bare-metal things. For "modern static type system" you should probably read "ML-style or better", but really there's a cunning circularity in the definition of "modern", which acts as a get-out-of-jail card for the Conjectures :-)
no subject
You could make a reasonable case that the C and C++ type systems do indeed cause more problems than they solve - C's for allowing, nay, forcing you to do too many unsafe things on the bare metal, and C++s for its sheer complexity and allowing you to do unsafe/bare-metal things. For "modern static type system" you should probably read "ML-style or better", but really there's a cunning circularity in the definition of "modern", which acts as a get-out-of-jail card for the Conjectures :-)