Those are not industry languages and Java was known to borrow only well developed and widely adopted features. For example it took like 20 years to add lambdas which were in lisp 60 years ago. Checked exceptions are a sore exception to this rule.
There're no checked exceptions in C++. noexcept does not do anything related to type system, it just terminates an application if an exception has been thrown.
