Python beginners

21 Nov 2024 16:05

Я сталкивался, что тайп игноры часто взрывают mypy

Python beginners

21 Nov 2024 16:04

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

Python beginners

21 Nov 2024 16:03

Вообще сколько вариаций пар типов там у тебя?

Python beginners

21 Nov 2024 16:02

Сейчас подумал, твою проблему можно в теории решить, если ты добавишь ещё один Generic тип, чисто по сути контейнер для пары аргументов и тогда из него можно будет достать и X и Y, принимать правда придется его в аргументах инициализатора

Python beginners

21 Nov 2024 15:57

Но опять же допускаю случаи, где нельзя. Вот например conditional types очень хочется

Python beginners

21 Nov 2024 15:57

Знаю как это сложно)

Python beginners

21 Nov 2024 15:56

Я сейчас работаю над фреймворками. Пришел к такой технике, что надо придерживаться парадигмы gradual typing в питоне, когда у тебя есть уровень пользовательский, и внутренний. На внутренней реализации юзаем какие угодно типы, покрываем их тайпхинтами, на уровне интерфейса с пользовательской частью врем тайпчекеру используя cast и делаем типизированный интерфейс. Но этот подход работает если тебе нужна динамика для реализации всяких DSL, синтаксических сахаров и подобного. В моем случае подход сработал идеально, потому что пишу библиотеку для фабрик и DI.

Python beginners

21 Nov 2024 15:46

ему уже занесли его аннотейт

Python beginners

21 Nov 2024 15:43

Иронично что выглядит реально элегантно. Я бы использовал хз

Python beginners

21 Nov 2024 15:43

у меня много динамики никакой тайпчекинг тут не поможет

Python beginners

21 Nov 2024 15:40

извратился и написал type: ignore

Python beginners

21 Nov 2024 15:40

Грустна, но соглашусь

Python beginners

21 Nov 2024 15:39

Другого варианта нет. В тайпинге питона нет conditional types

Python beginners

21 Nov 2024 15:38

@dataclasses.dataclass
class Var[X: (int, str), Y: (str, int)]:
    x: X
    y: Y

    if typing.TYPE_CHECKING:

        @typing.overload
        def __init__(self, x: int, y: str) -> None: ...
        @typing.overload
        def __init__(self, x: str, y: int) -> None: ...
        def __init__(self, x: int | str, y: str | int) -> None: ...

Python beginners

21 Nov 2024 15:37

Какая сейчас самая нормальная либа для ТГ ботов?

Python beginners

21 Nov 2024 16:04

Или забить, юзер этот код все равно не видит.

Python beginners

21 Nov 2024 16:03

Ну на две можно и перегрузку написать

Python beginners

21 Nov 2024 16:03

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

Python beginners

21 Nov 2024 15:58

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

Python beginners

21 Nov 2024 15:57

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

Python beginners

21 Nov 2024 15:57

Но это не всегда получается

Python beginners

21 Nov 2024 15:46

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

Python beginners

21 Nov 2024 15:46

Похоже на идеи тианголо с typing.Doc в сигнатуре функций

Python beginners

21 Nov 2024 15:43

Если нужен только поллинг, можно самому запросы писать

Python beginners

21 Nov 2024 15:41

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

Python beginners

21 Nov 2024 15:40

Но по моему опыту это ещё хуже чем перегрузки написать

Python beginners

21 Nov 2024 15:40

Ну можешь разве что извратиться и попробовать написать плагин mypy

Python beginners

21 Nov 2024 15:39

Только перегрузки инита

Python beginners

21 Nov 2024 15:37

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

Python beginners

21 Nov 2024 15:36

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