Это было к утверждению "Есть алгоритмы автоматического вывода типов на основе использования, но это доступно только в статически-типизированных языках)"
Что core.typed не хватает постепенной (gradual) типизации уже скорее ортогональная проблема 🤔 Он существовал же. И там какой-то тупенький вывод, но был.

Если речь про тайпскрипт, то я описал пример, когда мы хотим вызвать типизированную функцию с аргументом неизвестного типа (any). Тайпскрипт попросит написать unsafe cast или ещё что-то, но не втихую сделать этот вызов

Но вообще, по моим собственным наблюдениям, типы все равно начинают везде просачиваться)

ну написал я unsafe cast
и ошибка каста случится в рантайме

Да, но в коде явно видно, где она могла произойти

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

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

ну хорошо, случится жсный wtf 😊

В C# по идее это должно нормально отработать

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

Хотя бы поиском по этим кастам можно найти опасные места)

Мне нравятся типы как в питоне

Рич сделал акцент, что ключевой необходимостью для программиста является  Ability to reason about program. Это важнее всего.
Статические типы никак не упрощают возможность анализировать работу большой системы в рантайме. Если типы мутабельны, то  мы получаем размазанный стейт  и все эти игры с типами фигня, по отношению к тому, что программист должен загрузить всю кодовую базу в голову и представить как оно будет работать в многопоточной среде.

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

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

я уже вчера приводил на митапе пример с дорогой

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

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

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