Проблема и плюсы типов (кто как это воспринимает) в том, что они заставляют принимать решение по вопросу, " а что делать, если что-то пошло не так"

Поэтому хороший программист никогда не останавливается на одном языке. В идеале, каждый должен знать по одному языку из основных направлений:

- низкоуровневый язык с ручным управлением памятью (Си, С++, Rust)
- высокоуровневый язык с управляемой (managed) памятью (Java, C#, Scala)
- динамический язык (Python, JavaScript, Clojure, Ruby)
- ООП язык (Java, C#, Ruby, C++, JavaScript)
- функциональный язык (Haskell, Scala, Clojure, Erlang)
- логический (Prolog)

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

А что делать если контракт не выполнен? А что делать если мне пришли совсем не такие данные, как я ожидал

Вангую два варианта ответа:
1) Мне это не надо
2) Ясно, сектанты

И к сожалению или к счастью типы заставляют принять решение, в том числе решение, посчитать, что там nil/null

Причем первый абсолютно нормальный)

Если я правильно помню то доступ к несуществующему полю в кложе именно такой дефолт имеет

Кинуть ошибку - не вариант?

Вариант

Я бы включил еще пару языков: smalltalk и forth.

Тебя тогда только возможность упустить пункт с null беспокоит?

Но нужно выбрать, он не будет спрятан где-то в кодобазе, а если контракт поменяется - то это тоже везде вылезет

Меня вообще ничего не беспокоит, если честно

Можно и включить. Forth - стековый, тоже интересно.

А вот что я в этом списке забыл указать, так это категорию статически типизированных языков. Ну и ассемблеры, конечно

Меня спросили где помогают, я сказал, а этот пункт назвал краеугольным камнем

Кто-то считает его плюсом, кто-то минусом

Когда это становится проблемой, тогда вводят валидацию

У Евгения Зуева (компиляторщика, преподавателя, С++ разработчика) были лекции, где он выражает ту же мысль: надо изучать разные языки. Эту мысль многие толковые товарищи высказывают.

Путь компилятор смотрит где ввести валидацию

мне это удобно