Почему в Java можно кидать что угодно?

Почему он разработан таким образом.. имеется в виду виртуальная машина, которая позволяет выбрасывать объекты и верификатор, который должен отфильтровывать неправильный код. Как будто какой-то код может быть неправильным. Это не код, это дизайн!

Почему?

Просто потому, что дизайн работает практически со всех точек зрения.

Ну какая может быть альтернатива?

Я предполагаю, что вам нужно было бы иметь особый вид вещей, которые НЕ были экземплярами классов, которые были разработаны с единственной целью - быть брошенными.

Это потребует:

• новый синтаксис для определения этих исключений, не являющихся объектами
• совершенно новый набор правил ввода для обработки этих не-объектов (например, они не могут быть совместимыми с присваиванием Object...)
• и так далее.

В конце концов, язык Java будет более сложным и трудным для программиста. И с какой целью? Чтобы немного упростить задачу верификатору?

Извините, но если довести до логического завершения, то эта идея никуда не годится.

И, честно говоря, какая разница, можно ли сломать JVM, отключив верификатор. Это как жаловаться, что можно застрелиться, если жонглировать заряженным пистолетом.