An Update on Pytype

#1

Post by mxmlnkn » Wed, Aug 20, 2025, 5:04 PM UTC

Re: An Update on Pytype

#2

Post by md3911027514 » Wed, Aug 20, 2025, 5:17 PM UTC

Pytype was cool before Python type annotations became widespread. It seems to me like the industry is naturally moving toward native type annotations and linters and away from static analyzers like Pytype and mypy.

Re: An Update on Pytype

#3

Post by underdeserver » Wed, Aug 20, 2025, 5:20 PM UTC

I think this is for the best.

I used Pytype at Google years ago and while it's well written and the team was responsive, ultimately Python is not well suited for type checking Python. It's compute intensive.

I think the Ty people at Astral have the correct idea, and hope it'll work out.

https://docs.astral.sh/ty/

Re: An Update on Pytype

#4

Post by underdeserver » Wed, Aug 20, 2025, 5:20 PM UTC

md3911027514 wrote: post #2

Pytype was cool before Python type annotations became widespread. It seems to me like the industry is naturally moving toward native type annotations and linters and away from static analyzers like Pytype and mypy.

Pytype and mypy check native annotations.

Re: An Update on Pytype

#5

Post by zhikanbumai » Wed, Aug 20, 2025, 5:43 PM UTC

underdeserver wrote: post #3

I think this is for the best. I used Pytype at Google years ago and while it's well written and the team was responsive, ultimately Python is not well suited for type checking Python. It's compute intensive. I think the Ty people at Astral have the correct idea, and hope it'll work out. https://docs.astral.sh/ty/

In theory, nothing prevents the pytype team at Google to develop a new backend in a different language.

In practice, there is no longer a pytype team at Google [https://news.ycombinator.com/item?id=40171125], which I suspect is the real reason for the discontinuation.

Re: An Update on Pytype

#6

Post by LtWorf » Wed, Aug 20, 2025, 5:48 PM UTC

underdeserver wrote: post #3

I think this is for the best. I used Pytype at Google years ago and while it's well written and the team was responsive, ultimately Python is not well suited for type checking Python. It's compute intensive. I think the Ty people at Astral have the correct idea, and hope it'll work out. https://docs.astral.sh/ty/

I'm personally just staying away from startups anywhere in my dependencies.

Re: An Update on Pytype

#7

Post by [deleted] » Wed, Aug 20, 2025, 5:54 PM UTC

LtWorf wrote: post #6

underdeserver wrote: post #3

I think this is for the best. I used Pytype at Google years ago and while it's well written and the team was responsive, ultimately Python is not well suited for type checking Python. It's compute intensive. I think the Ty people at Astral have the correct idea, and hope it'll work out. https://docs.astral.sh/ty/

I'm personally just staying away from startups anywhere in my dependencies.

[deleted]

Re: An Update on Pytype

#8

Post by kubb » Wed, Aug 20, 2025, 5:56 PM UTC

Maybe they could do typechecking using an LLM agent? I'm sure they'd fund a team for that.

Re: An Update on Pytype

#9

Post by delduca » Wed, Aug 20, 2025, 6:00 PM UTC

Another abandoned project from Google? Not surprised. Never trust on Google.

Re: An Update on Pytype

#10

Post by sito42 » Wed, Aug 20, 2025, 6:02 PM UTC

astral bags another one