MySQLdb

документация утверждает, что параметры нужно передавать как %s

При том, что это статический анализатор

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

документация утверждает, что параметры нужно передавать как %s

спасибо!!!1

сработало

Udemy

?

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

Да причему тут вообще рантайм. У тебя этот код вообще не должен до рантайма доходить

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

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

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

А в других языках как?

А в других языках как?

в других - получше)

Ну вот я напишу код на Java и передам в функцию вместо int'а строку, например

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

типы это соглашение

Ну вот я напишу код на Java и передам в функцию вместо int'а строку, например

Сделай параметр Object и вперед

Ну вот я напишу код на Java и передам в функцию вместо int'а строку, например

получишь ожидаемое исключение

получишь ожидаемое исключение

В какой момент?

В рантайме?

В момент выполнения

ты шутишь что ли?

нисколько

код не скомпилится

никакого рантайма не будет

до него просто не дойдет

в некоторых случаях скомпилить можно

http://joxi.ru/EA4oQ6oUwYw312 так вызываю

10 вопросиков и 11 параметров передаешь

в некоторых случаях скомпилить можно

Не знаю по какие именно случаи ты говоришь. Но давай в общем

несоблюдение типов не даст скомпилить программу

И произойдет это на этапе статического анализа

Не знаю по какие именно случаи ты говоришь. Но давай в общем

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

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

Это только потому, что ты можешь запускать python без статического анализа, а c++, например, не можешь

типы это соглашение

вот тут

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

Это только потому, что ты можешь запускать python без статического анализа, а c++, например, не можешь

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

а таких либ пока еще процентов 90

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

Это понятно. Но мы сейчас говорим только о самой реализации тайпхинтов в питоне. И она принципиально от других языков не отличается

да даже от пхп отличается.

Не забываем про утиную типизацию

И __getattr_

да даже от пхп отличается.

даже php выкинет в рантайме эксепшн легко, если до этого дойдет

даже php выкинет в рантайме эксепшн легко, если до этого дойдет

Ну фак, статическая типизация она не предназначена для рантайма

В C проверка того, что ты не передашь в функцию не тот тип происходит не в рантайме

а на этапе компиляции

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

И __getattr_

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

о том и речь

о том и речь

вот-вот

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

в C нет эксепшенов. Как туда попадет не тот тип?

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

в C не скомпилится, питон - съест если утка, кинет эксепшн если не подходит

в C не скомпилится, питон - съест если утка, кинет эксепшн если не подходит

Ну для C ты же запускаешь статический анализ. А для питона почему-то нет

def x(arg: str): print(x) x(1) будет работать

а анализтор выдаст ошибку, да

ну так и в С ровно так же

ну так и в С ровно так же

в сях не будет работать полюбому, вот в чем разница

все ошибки типов на этапе статического анализа

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

def x(arg: str): print(x) x(1) в питоне будет работать function x(string $arg) { print $arg; } x(1) - нет

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

Не слежу за php, там type hint'ы появились?

Не слежу за php, там type hint'ы появились?

да, давненько.

и проверка только в рантайме?

и проверка только в рантайме?

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

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

В рантайме это нафиг не нужно

тайпхинты не для этого

def x(arg: str): print(x) x(1) в питоне будет работать function x(string $arg) { print $arg; } x(1) - нет

а как в ПХП сделать чтобы работало? в питоне просто убрать тип

В рантайме это нафиг не нужно

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

а как в ПХП сделать чтобы работало? в питоне просто убрать тип

тоже можно просто убрать тип

В рантайме тайпхинты игнорируются

В рантайме тайпхинты игнорируются

в этом то и гвоздь. для языка с динамической типизацией

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

Утиная типизация нормально описавается protocol'ами

в этом то и гвоздь. для языка с динамической типизацией

Всё равно лучше, чем жс

в этом то и гвоздь. для языка с динамической типизацией

Чувак, ты просто не понимаешь что такое статическая типизация и зачем она нужна

Утиная типизация нормально описавается protocol'ами

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

Статическая типизация на самом деле вещь иногда полезная

Конечно полезная, только не для рантайма

И для рантайма тоже

Конечно полезная, только не для рантайма

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

И для рантайма тоже

поддерживаю

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

Ты сейчас говоришь о коде, который написан без тайпхинтов? Если да, то как ты хочешь чтобы анализатор тебе помог?

я сейчас говорю о коде как раз с таймхинтами

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

но который вынужден использовать внешние либы (а это 100% приложений)

Ну вот опять ты мне про код, который не покрыт тайпхинтами

Это что, реализация тайпхинтов в этом виновата?

к самой реализации какие претензии?

потому-что это реальные ситуации, а полностью покрытый код в питоне пока миф

а в php все либы с тайпхинтами, да?

если из питона убрать утиную типизацию, то это уже не питон будет, а NIM какой-нибудь

если из питона убрать утиную типизацию, то это уже не питон будет, а NIM какой-нибудь

Утиная типизация описывается протоколами

https://www.python.org/dev/peps/pep-0544/

к самой реализации какие претензии?

да никаких, просто в php например ловится) это как пример близкого языка

да и в яваскрипте, тайпскрипте - тоже

в яваскрипте нихрена не ловится

там все кастуется как попало куда попало

да и в пхп мне кахалось тоже

да и в пхп мне кахалось тоже

не, точно ловится

в яваскрипте нихрена не ловится

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

тайпскрипт != яваскрипт

это другой язык

тайпскрипт != яваскрипт

да ошибся