Elon ... О @elonm... ■ Apr 28 Дальше я покупаю Python и добавляю фигурные скобки... Q 182.7К tl 8 / it-юмор :: программирование :: Илон Маск :: python :: geek (Прикольные гаджеты. Научный, инженерный и айтишный юмор)

подозрительные типы и мутные функции для их преобразования

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

Тогда хотя бы поддержку PEP484, хотя бы error-ы при неявном приведении.

Да, только в питон уже давно добавили поддержку аннотаций типов, модуль typing и кучу линтеров, которые всё это проверяют, пусть и не в рантайме.

А поверх джаваскрипта сделали тайпскрипт.

Потому что люди понимают, что с какого-то объема кодовой базы без типов начинается боль.

Я лично внедрял типы в один проект, не особо большой, и выловил кучу ошибок с использованием None, с неверными аргументами функций итп. Без типов рефакторинг - страх и ужас, потому что бывают ошибки вплоть до неверной сигнатуры. Да, тексты, я знаю, но тесты не покрывают всё, и проще и надёжнее возложить часть проверок на инструменты (типы+линтеры), чем держать все в голове и делать руками.

вот и я про это

На си? Я как программист на си авторитетно заявляю: не смешите.

Си имеет несколько более строгую систему типов, чем питон, но до нормальной типобезопасности ему очень, очень далеко: указатели с возможностью отстрелить себе всё, void*, неявные приведения. И это мы не до UB не дошли.

Хотите безопасно: пишите на нормальных языках.