сек

-больше думать? Тебе за это платят,
- писать больше кода насколько? На аннотации к типам? Ты замерял с какой скоростью ты печатаешь символы? Программисты ооооочень быстро это делают
- для меня верные в компайле это гигантский шаг в сторону качественные. Здесь не замена, здесь вектор что ли. Оно в ту сторону идёт

статическая типизация еще и дает иллюзию качественности ПО, а потом бах и взрываеться Ariane 5, с ущербом 8,5 млрд баксов, и заметьте ПО было написано на Ada - где как раз таки статическая типизация

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

Аннотации != статическая типизация
В аннотациях я могу указать any и буду прав

> больше думать? Тебе за это платят
Может тебе за это и платят, а мне платят за другие вещи

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

или например история с подрядчиком lokhid которая сделала двигатели с контролером который все считал в милях, а сама ракета в киллометрах и тоже авария

Если ваш код складывает возраст с долларом, а мили с километрами, это опять же проблема программистов
Это слишком легко решается

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

Или нету и там и там

наса и прочие спейсы и авионикак это и так знают, и у них есть куча ревью и тестов, но аварии как были так и есть

проблема в том, что ПЛОХО написанный стат тип код складывает возраст с долларом
код, написанный на дин типах складывает человека с унитазом

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

Как складывание миль с километрами решается архитектурно? Какое архитектурное решение?

В книжке по clisp написано, куда надо посылать приверженцев типизации в таком случае

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

Тэгирование значений
Аля {:age, 10} и {:km, 100}

а в идеале должно быть что-то типа арбитра, который это сможет порешать

но ведь это решение кодом? Александр имел в виду архитектуру на другой абстракции

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

Ну вот это тоже не обязательно решается статической типизацией. В статической типизации это всё может быть интами с тем же успехом что и в динамической

Конкретно этот пример — плохой