вот такое политкорректное адвокатирование динамики оно как бы не спорит по существу, но оно манипулирует отношением кейсов где сложно и где просто.

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

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

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

Хех, таки да

Есть куча вещей, невыразимых или сложно выразимых в системе типов. Вот, например, теоретический формат апишки: тебе прилетает код ответа и список записей. Каждая запись имеет тип, таймстамп и поля в зависимости от типа. Одним из полей может быть файл, который картинка или аудио. У картинки есть размер, у аудио длина, у обоих путь.

Большая часть полей опциональна

ну то что ты назвал это и есть типизация

Ты нафиг погрязнешь в десятиуровневых энумах

И работать с ними будет крайне неудобно

окей вот давай разберем этот пример. вот смотри есть вде либы для клиентов телеграма. возмем например питон. автор одной либы написал её в динамике - тоесть тебе просто приходит "нечто"

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

Я сейчас копаюсь с pulldown-cmark, и нет, матчить по десяти уровням энума неэргономично

вот чувачки сделали типчики https://github.com/teloxide/teloxide/tree/master/src/types

Апи телеграма приятное, да, его можно хорошо типизировать

Вот кстати питоновский юнион отчасти решает проблему

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

Ну, ты можешь это составить с помощью всяких FileKind, но это будет больно

И документацию по этому будет читать больно

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

ну больно. а в рантайм репле играться с обьектов и писать лесенки из условий менее больнее чтоли?

Можно, но выразительности растовской системы типов не хватает для этого.
Посмотри на тот же самый pulldown-cmark — ивент, внутри тег, внутри кодблок, внутри кодблоккайнд, внутри строка

Как раз в статике ты пишешь лесенку условий
В динамике ты ловишь LookupError и логируешь, что из апишки пришло говно