"This is the main reason why modern, and otherwise strongly typed languages such as Scala and Ocaml do not have checked exceptions." . . . . .