Stanislav Terliakov

icon company Simpleem Inc. icon location CTO of a small startup (Python/TypeScript/Terraform, ML, video analysis) - a huge believer in tooling, a Rust adopter and a passionate climber.

Results 173 comments of Stanislav Terliakov

Support generic upper bounds

I'm afraid this should go through PEP and typing spec first. This functionality has been requested several times, but type checkers should agree on it at least to some extent,...

Support generic upper bounds

Yes, you're right - your use case is conceptually easier. HKTs would be a solution to your problem (`T = TypeVar("T"); S = TypeVar("S", bound="Sequence"); def fn(seqs: Iterable[S[T]], cost: Func[T])...

False positives about non-existing import when using mypy cache

Could you upgrade to latest `mypy==1.18.2` (or, ideally, install from master with `pip install git+https://github.com/python/mypy` - this installs a slow, non-compiled version, but contains all latest changes) and retry your...

With a new syntax generic function, `T` cannot be used to set a default value to a parameter with `cast()` while `T` can be used for a parameter and return type

Your first snippet produces a runtime error. `T` is not in scope when defaults are evaluated. We could special-case that and allow quoted typevars there, but I don't think that's...

Make calls of native enum methods faster

I'll try to get it working next week.

`--disable-error-code=unused-ignore` should override `enable_error_code = ["unused-ignore"]`

Confirmed. It is common knowledge that CLI flags override envvars, and those in turn override configuration file entries (local, then user-level, then global). This is not specific to `--{en,dis}able-error-code`, `possibly-undefined`...

`--disable-error-code=unused-ignore` should override `enable_error_code = ["unused-ignore"]`

@franzengel04 thanks! Yes, that sounds good to me:)

numpy dtype Statement is unreachable with mypy 1.19.0

#20146 should fix this. This is a logic bug in how `mypy` treats `match-case` arms with value patterns.

"Name already defined" for PySide6 Property

Huh, this is hard. Unfortunately, properties implementation predates proper descriptors support, and it's one big pile of hack. If there was a decorator that is a drop-in replacement for property...

"Name already defined" for PySide6 Property

Hm, okay, is the solution above acceptable? We can make it work with low efforts, while proper support will be quite challenging.