Dv
В статическом языке большинство таких программ отсекаются на этапе тайпчека.
Size: a a a
2020 May 09
V
Но при этом JS я не ругаю, у меня с ним нету очень уж больших проблем. Даже такая расшатанная экосистема, которая есть у современного (серверного) JS, уже на порядок лучше, чем то, что есть у питона.
Mypy
V
Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy type checks standard Python programs; run them using any Python VM with basically no runtime overhead.
Dv
Ну вот да, опциональная типизация в последних версиях питона — это точно движение в правильном направлении.
Dv
Вряд ли их экосистему что-то спасёт, правда.
O
почему вообще duck typing? если следовать принципу "If it walks like a duck and it quacks like a duck, then it must be a duck", то получается динамическая номинативная типизация
P
Переслано от Phantom
Смотрел видео FIXED - Black Screen Videos on Google Chrome ( 2020 )
P
P
P
Другой вопрос в том, что, да, на динамическом языке на порядок проще написать некорректную программу, которая будет выполняться у пользователя.
+++
O
почему вообще duck typing? если следовать принципу "If it walks like a duck and it quacks like a duck, then it must be a duck", то получается динамическая номинативная типизация
не, ерунду написал. но всё равно, в питоне в рантайме у значений есть вполне определённый тип и он не меняется (т.е. что-то, не являющееся уткой, нельзя реинтерпретировать как утку)
KF
Ну вот да, опциональная типизация в последних версиях питона — это точно движение в правильном направлении.
нам бы как-нибудь дактайпинг завезти, а то сколько можно дто классы бесконечные описывать, к тому же они копипастятся зачастую
KF
просто что бы абстракция между проектами не протекала
Dv
нам бы как-нибудь дактайпинг завезти, а то сколько можно дто классы бесконечные описывать, к тому же они копипастятся зачастую
Не вижу, как дактайпинг связан с «бесконечными дто классами», сорен.
Dv
Плюс, тебе завезли сорс генераторы — куда более полезная штука.
KF
Плюс, тебе завезли сорс генераторы — куда более полезная штука.
я несколько раз спрашивал в чате зачем это нужно, никто не пояснил норм, как это поможет простым холопам
Dv
Я не считаю, что утиная/структурная типизация должна быть везде, и/или по дефолту. Это иногда полезная вещь, но в большинстве случаев она тебе позволит больше некорректных программ скомпилоировать.
Dv
я несколько раз спрашивал в чате зачем это нужно, никто не пояснил норм, как это поможет простым холопам
Ну вот наконец-то круг замкнулся, можешь сам себе и пояснить.
KF
я что дто классы смогу генерить?
KF
не понятно