иногда пишут просто чтобы вызвать какой то код и не получить эксепшен

не проверяя вообще что придет

если сильная система типов то и писать их не надо, в типах видно все. и если что то просто не скомпилируется.

ну это фантазия

мечта к которой статика просто стремится

с переменным успехом

всеравно будет чтото что ты типами не выразишь

просто для скриптера это повод почему то не юзать типы вообще

ага, ещё один аргумент из серии "в расте есть ансейф, поэтому он не безопаснее плюсов" и "в хаскеле есть IO, поэтому он не может быть чистым"

ну я бы по обоим пунктам поспорил но мне лень

это такое множество у которого в корне одно когнитивное искажение. оно все примерно вокруг этого строится. чернобелая картина мира

так это было сказано не для споров

кмк это навязывается авторитетами

типо что типы не нужны и т.п. джун часто это слышит, и начинает верить.

и начинает другим говорить

Дорогой домисолька. Я тебе серьёзно, скалку берут потому что фичи. А джавку берут потому что бренд, потому что Oracle:TM и 3 billion devices run java. Потому что всяки барухи садогурские и им подобные сияют изо всех джугов и джокеров своей лучезарной улыбкой, потому что тонны лигаси и технически несовершенных а порой и отвратительных решений худо-бедно преведенных в рабочее состояние через discipline-driven-development возведённых в ранг "серьёзного промышленного программирования". Джава уже давно перешагнула этап ЯП или платформы. Джава - это конфессия.

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

и проверить это никак нельзя

ну тоесть они строят некоторую картину что в серьёзном коде у тебя например десяток тайп аргументов, и 20 трейт баундов

и говорят типа ну, очевидно же что это только мешает, братишка, в этой каше невозможно разобраться, поэтому пиши просто any