undefined | Better HN

0 pointsdavidatbu3y ago0 comments

> No way to fully type args and kwargs

I think "parameter Specification Variables"[0] come pretty close to solving that no? I'd love to hear your take if you've used them before.

> Type semantics aren't defined so there are multiple competing interpretations

> The most popular type checker - MyPy - is full of bugs and deliberate unsoundness.

100% agreed. I hope Pyright "wins" as the dominant type checker, because like you said, it's MUCH better in every aspect.

> A depressingly huge part of the Python community doesn't get static typing so a ton of your dependencies won't have types.

100%. I have so many half hearted attempts at typing my dependencies![1]

> I definitely wouldn't choose Python if I had a choice.

At this point, I'd have to agree, except of course for data science/ML things.

[0] https://peps.python.org/pep-0612/

[1] https://github.com/davidatbu?tab=repositories&q=stubs&type=&...

0 comments

ptx3y ago

One aspect of Pyright that seems decidedly not better is the 651 NPM dependencies [1] it apparently drags along.

[1] https://github.com/microsoft/pyright/blob/main/package-lock....

davidatbuOP3y ago

Fair point (in regards to security).

Regarding ease-of-install though, installing pyright is painless in comparison to installing mypy when dealing with virtual envs, IMO.

IshKebab3y ago

> parameter Specification Variables

I think that's unrelated. Seems to be something that's only for Callables.

davidatbuOP3y ago

Then I think the issue you're talking about is actually addressed by variadic generics, for the case of typing `*args` [0]

[0] https://peps.python.org/pep-0646/#args-as-a-type-variable-tu...

IshKebab3y ago

Ah yeah that looks like it works for `args`. Unfortunately the issues is way more common with `kwargs`. :-/

1 more reply

j / k navigate · click thread line to collapse

0 pointsdavidatbu3y ago0 comments

> No way to fully type args and kwargs

I think "parameter Specification Variables"[0] come pretty close to solving that no? I'd love to hear your take if you've used them before.

> Type semantics aren't defined so there are multiple competing interpretations

> The most popular type checker - MyPy - is full of bugs and deliberate unsoundness.

100% agreed. I hope Pyright "wins" as the dominant type checker, because like you said, it's MUCH better in every aspect.

> A depressingly huge part of the Python community doesn't get static typing so a ton of your dependencies won't have types.

100%. I have so many half hearted attempts at typing my dependencies![1]

> I definitely wouldn't choose Python if I had a choice.

At this point, I'd have to agree, except of course for data science/ML things.

[0] https://peps.python.org/pep-0612/

[1] https://github.com/davidatbu?tab=repositories&q=stubs&type=&...

0 comments

ptx3y ago

One aspect of Pyright that seems decidedly not better is the 651 NPM dependencies [1] it apparently drags along.

[1] https://github.com/microsoft/pyright/blob/main/package-lock....

davidatbuOP3y ago

Fair point (in regards to security).

Regarding ease-of-install though, installing pyright is painless in comparison to installing mypy when dealing with virtual envs, IMO.

IshKebab3y ago

> parameter Specification Variables

I think that's unrelated. Seems to be something that's only for Callables.

davidatbuOP3y ago

Then I think the issue you're talking about is actually addressed by variadic generics, for the case of typing `*args` [0]

[0] https://peps.python.org/pep-0646/#args-as-a-type-variable-tu...

IshKebab3y ago

Ah yeah that looks like it works for `args`. Unfortunately the issues is way more common with `kwargs`. :-/

1 more reply

j / k navigate · click thread line to collapse