@nsniko будет жить. Поприветствуем!

@Tishka17 def f(cb: Callable[[object], str]) -> None: pass def int_repr(v: int) -> str: return str(int) def any_repr(v: Any) -> str: return str(v) f(any_repr) # mypy OK f(int_repr) # error: Argument 1 to "f" has incompatible type "Callable[[int], str]"; expected "Callable[[object], str]"

этот кейс работает, да. А вот с иерархией объектов чет нет

этот кейс работает, да. А вот с иерархией объектов чет нет

Это разные кейсы. По иерархию объектов читай про covariance/contravariance

f(cb: Callable[[object], str]) — хороший пример как это портит лаконичность питонячьего кода

http://codephoto.ru/i/VlYIe

вот так надо было

f(cb: Callable[[object], str]) — хороший пример как это портит лаконичность питонячьего кода

В смысле чисто визуально?

f(cb: Callable[[object], str]) — хороший пример как это портит лаконичность питонячьего кода

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

пачанята, давайте взломаем эппль на питоне и чистом html?

Это разные кейсы. По иерархию объектов читай про covariance/contravariance

окей, полез читать. Мне это объяснять ещё

окей, полез читать. Мне это объяснять ещё

Вот вроде неплохая статья: https://blog.daftcode.pl/covariance-contravariance-and-invariance-the-ultimate-python-guide-8fabc0c24278

пачанята, давайте взломаем эппль на питоне и чистом html?

и заставим все маки гавкать

ну и доке mypy тоже что-то есть

В смысле чисто визуально?

Да, когда много аннотаций код весь загромождается и выглядит так себе

Да, когда много аннотаций код весь загромождается и выглядит так себе

По мне так норм выглядит. Сразу понятно что функция принимает

Вот вроде неплохая статья: https://blog.daftcode.pl/covariance-contravariance-and-invariance-the-ultimate-python-guide-8fabc0c24278

понимаешь в чем проблема моего кейса - pycharm и mypy ругаются на разные строки!!!

понимаешь в чем проблема моего кейса - pycharm и mypy ругаются на разные строки!!!

Ну я ориентируюсь только на mypy

видимо придется писать багрепорт в jetbrains или наоборот

а я статью пишу

и все равно такие вопросы будут

и заставим все маки гавкать

& xcode-select --install || brew remove portaudio || brew install portaudio || pip3 install pyaudio || say "gav gav"

& xcode-select --install || brew remove portaudio || brew install portaudio || pip3 install pyaudio || say "gav gav"

хз короч, но если установить pyaudio, то можно ввести say и оно тебе будет пиздякать

Вот вроде неплохая статья: https://blog.daftcode.pl/covariance-contravariance-and-invariance-the-ultimate-python-guide-8fabc0c24278

бложик у чувака вообще отличный

давайте винни забаним

давайте винни забаним

та не, чо ты

я же добрый

какой-то оффтоп опять

я про питон говорил

не вижу

так что это отчасти оффтоп

pyaudio

а я статью пишу

вторую часть по type hint'ам?

даа

даа

окей, как хочешь, я молчу

вторую часть по type hint'ам?

думал щас быстро про callable скажу и перейду к мезханизму дженериков. Но нет

на простом примере сам застрял

ладно, пора работать

блин, статья это хорошо, но лучше наверно PEP перечитать

о. https://www.python.org/dev/peps/pep-0484/#covariance-and-contravariance

кратенько

блин, статья это хорошо, но лучше наверно PEP перечитать

+

еще у mypy есть разъяснения: https://mypy.readthedocs.io/en/latest/generics.html#variance-of-generics

В общем, в твоем, случае mypy правильно ругается, а pycharm - нет

угуу

Callable - это контравариантный generic по агрументам

надо осилить и написать репорт

Прошка 2015 года

Как дело с анонимностью у маков ?

ну я бы во второй части статьи по covariance/contravariance не писал, слишком сложно, кмк, для неподготовленных читателей. Многие разработчики просто Generic'и осознать могут с трудом

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

написал бы только кратко почему mutable generic'и инвариантны

Да, когда много аннотаций код весь загромождается и выглядит так себе

Пиши код без аннотаций и отдельно stub-файлы

Пиши код без аннотаций и отдельно stub-файлы

Я выбрал вариант умеренной аннотации там, где она действительно улучшает код

Я выбрал вариант умеренной аннотации там, где она действительно улучшает код

Это как?

Это как?

не аннотировать все подряд, а только там, где есть явная необходимость

Как бы мне универсально получать доступ к элементу любой вложенности в многоуровневом списке? Чтобы иметь возможность брать и list[3], и list[2][8][1][0] в зависимости от глубины. Эвал смотрится очень антипаттерново.

не аннотировать все подряд, а только там, где есть явная необходимость

А как понять где необходимо, а где нет? И как это mypy воспринимает?

Как бы мне универсально получать доступ к элементу любой вложенности в многоуровневом списке? Чтобы иметь возможность брать и list[3], и list[2][8][1][0] в зависимости от глубины. Эвал смотрится очень антипаттерново.

Чтобы при этом не случался IndexError?

Чтобы при этом не случался IndexError?

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

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

Ну а почему тогда просто не list[2][8][1][0]?

Ну а почему тогда просто не list[2][8][1][0]?

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

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

Вопрос открыт(

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

т.е. у тебя есть например indicies = [2,8,1,0] и ты хочешь получить элемент list[2][8][1][0]?

А как понять где необходимо, а где нет? И как это mypy воспринимает?

Нормально воспринимает. Вот, хотя бы пример из пеп def find_first_str(a: List[object]) -> str: index = next(i for i, x in enumerate(a) if isinstance(x, str)) # We only get here if there's at least one string in a return cast(str, a[index]) Я понимаю все благие намерения, но cast(str, a[index]) — это уже грязно.

т.е. у тебя есть например indicies = [2,8,1,0] и ты хочешь получить элемент list[2][8][1][0]?

Именно.

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

Может цикл, который будет доставать подлист из листа и т.д.?

ERROR: S client not available

Может цикл, который будет доставать подлист из листа и т.д.?

Да ладно бы доставать, мне его изменяь надо...

Как дело с анонимностью у маков ?

Есть Настройки конфедициальности, что не нужно — отключи

Как бы мне универсально получать доступ к элементу любой вложенности в многоуровневом списке? Чтобы иметь возможность брать и list[3], и list[2][8][1][0] в зависимости от глубины. Эвал смотрится очень антипаттерново.

def get_rec(list, *path): for i in prath: list=list[i] return i

def get_rec(list, *path): for i in prath: list=list[i] return i

Мне надо не взять, мне надо изменить элемент.

get_rec(lst, 2, 3)

ну сделай get и set

Нормально воспринимает. Вот, хотя бы пример из пеп def find_first_str(a: List[object]) -> str: index = next(i for i, x in enumerate(a) if isinstance(x, str)) # We only get here if there's at least one string in a return cast(str, a[index]) Я понимаю все благие намерения, но cast(str, a[index]) — это уже грязно.

Ну это пример из раздела Cast, не мудрено что там показан пример его использования

у set можно ещэ параметр на вставку промежуточных

у set можно ещэ параметр на вставку промежуточных

ничо не понимаю

можешь показать, как это?

хотя про промежутоные перебор

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

Ну это пример из раздела Cast, не мудрено что там показан пример его использования

Примеры из разделов про overloading не лучше. Да я не спорю, что все это несет луч света, но и мусора привносит немало,

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

Так там же ссылка вроде будет на элемент в итоге, а не его копия?

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

Как это обрезает?

Так там же ссылка вроде будет на элемент в итоге, а не его копия?

Копия же.

Примеры из разделов про overloading не лучше. Да я не спорю, что все это несет луч света, но и мусора привносит немало,

Ну это не мусор же а декларация типов для их последующей проверки. Так можно и про unit test'ы сказать, что они лишний мусор

Копия же.

В каком месте создается копия?

В каком месте создается копия?

list = list[i] или у меня лыжи не едут?

http://codephoto.ru/i/SgWBh

list = list[i] или у меня лыжи не едут?

не едут

или вы что делаете?

щас проверю, чото нихуя не понимаю

я плозо понимаю что ты хотел получить

Хм, там от исходного листа 1 элемент останется

вот-вот

в смысле?

В слишком быстром цикле while , get запросы дублируются игнорируя условия. Как обрезать дублирования, подскажите плиз на двух словах.

4 й день мучаюсь

в смысле?

Отбой, всё как надо работает

Примеры из разделов про overloading не лучше. Да я не спорю, что все это несет луч света, но и мусора привносит немало,

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