google/pytype on Hacker News

…Even some other tools in github.com/google have as much: https://github.com/google/python-fire / https://github.com/google/pytype/blob/main/docs/index.md / https://github.com/google/dopamine / https://github.com/google/go-tika

comment by whstl · 2026-06-24 · in Fired by Google for creating the Google workspace CLI

…Google's own /google/ organization. To give a few examples: https://github.com/google/python-fire / https://github.com/google/pytype/blob/main/docs/index.md / https://github.com/google/dopamine / https://github.com/google/go-tika Also…

comment by whstl · 2026-06-24 · in Fired by Google for creating the Google workspace CLI

in the related FAQ https://github.com/google/pytype/issues/1925 they point explicitly to the future: > What alternatives can I consider? There are four Python static type checkers that can be considered: mypy and Pyright have been released…

comment by froh · 2025-08-20 · in An Update on Pytype

pytype is based in part upon byterun https://github.com/google/pytype/blob/main/docs/developers/i... I learnt a lot about bytecode interpreters from working on it, and it helped me understand the cpython source code a lot more easily from…

comment by zem · 2025-05-16 · in Writing that changed how I think about programming languages

…fast and supports all the pytype features (especially being able to type-check un-annotated code). https://github.com/google/pytype?tab=readme-ov-file#pytype--...

comment by zeotroph · 2025-01-29 · in "We're building a new static type checker for Python"

pytype ( https://github.com/google/pytype ) is based on symbolic interpretation of python bytecode, but with the data stack storing types rather than values. it works very well and has been running in production within google forever. the…

comment by zem · 2024-12-18 · in Python Meta Circular Interpreter (2019)

…OCaml. Last time I checked, these had better type inference algorithms (Hindley-Milner?) than mypy. https://github.com/google/pytype https://github.com/google/pytype https://github.com/microsoft/pyright

comment by zeotroph · 2024-08-12 · in GIL Become Optional in Python 3.13

my last job was working on [pytype]( https://github.com/google/pytype ), which uses abstract interpretation to do static type inference and checking for python. we used the cpython compiler to convert a program to bytecode, and then ran…

comment by zem · 2024-07-27 · in Abstract Interpretation in the Toy Optimizer

…are not official google "products". my main project when I was at google was in that category: https://github.com/google/pytype - it was not an "official google product" in that google was not officially supporting it for external users,…

comment by zem · 2024-06-10 · in Google Mesop: Build web apps in Python

it's open source! check out https://github.com/google/pytype and https://github.com/google/pytype/blob/main/docs/developers/t... for more on the multi-file runner

comment by zem · 2024-04-27 · in Google lays off its Python team

There are static type checkers, though: https://github.com/google/pytype So you can specify interfaces (protocols) and check them in your installation process.

comment by 317070 · 2024-04-16 · in Should you use upper bound version constraints?

…means you have to litter __init__.py files everywhere, or it will create filename collisions. See https://github.com/google/pytype/issues/198 for more information. I've since started testing out pyre.

comment by jscheel · 2023-08-10 · in Mypy 1.5 Released

…an engineer for those companies. Am just curious if mypy is really the best option right now? [1] https://github.com/google/pytype [2] https://pyre-check.org/

comment by extr · 2023-05-21 · in Writing Python like it's Rust

Check out https://github.com/google/pytype

comment by benreesman · 2023-01-27 · in The Python Paradox (2004)

i work on https://github.com/google/pytype which is largely developed internally and then pushed to github every few days. the github commits are associated with the team's personal github accounts. pytype is not an "official google…

comment by zem · 2022-12-16 · in Show HN: Forma – An efficient vector-graphics renderer

…within vscode, and tends to add new and experimentally proposed typing PEPs faster than we do. [1] https://github.com/google/pytype/blob/main/docs/developers/i... [2] https://github.com/microsoft/pyright

comment by zem · 2022-09-01 · in Ruff – a fast Python Linter written in Rust

…not worth it. [1]: https://github.com/microsoft/pyright [2]: https://github.com/python/mypy [3]: https://github.com/google/pytype [4]: https://github.com/facebook/pyre-check [5]: https://peps.python.org/pep-3107/ [6]:…

comment by gilch · 2022-08-13 · in Erg: a statically typed language that is Python compatible

…it's not foolproof, but it's better than treating everything as an undifferentiated string. [0] https://github.com/google/pytype

comment by zem · 2021-07-21 · in Julia's multiple dispatch explained with Pokemons

…Which one are you using and what's your impression? [1] https://mypy.readthedocs.io/en/stable/ [2] https://github.com/google/pytype

comment by flakiness · 2021-05-10 · in Pyre: A performant type-checker for Python 3

Python has this: https://github.com/google/pytype "Pytype checks and infers types for your Python code - without requiring type annotations."

comment by willcipriano · 2021-03-03 · in How an Anti-TypeScript “JavaScript developer” like me became a TypeScript fan

…mentioned below, also added Pyright [2] by Microsoft [0] https://github.com/facebook/pyre-check [1] https://github.com/google/pytype [2] https://github.com/microsoft/pyright

comment by ehsankia · 2020-11-12 · in Guido van Rossum joins Microsoft

…stub files, so you can annotate a third party api yourself ( https://github.com/python/typeshed , https://github.com/google/pytype/tree/master/pytype/pytd/std... ), so even this claim is ultimately untrue.

comment by joshuamorton · 2020-10-06 · in Python 3.9

I don't have experience with it, but pytype can do that: https://github.com/google/pytype After typechecking it leaves provisional stubs in .pytype/pyi/, and it has a tool to merge them into the original code. mypy has stubgen:…

comment by duckerude · 2020-01-19 · in Dynamic type systems are not inherently more open

…buggy. [1] https://github.com/dropbox/pyannotate [2] https://github.com/instagram/MonkeyType [3] https://github.com/google/pytype

comment by takeda · 2019-10-30 · in Thank You, Guido

…MonkeyType (Instagram) [3] all do dynamic / runtime PEP-484 type annotation type inference [4] [1] https://github.com/google/pytype [2] https://github.com/dropbox/pyannotate [3] https://github.com/Instagram/MonkeyType [4]…

comment by westurner · 2019-09-19 · in Show HN: Python Tests That Write Themselves

…[2] https://github.com/facebook/pyre-check [3] https://github.com/microsoft/pyright [4] https://github.com/google/pytype

comment by meowface · 2019-09-16 · in The boring technology behind a one-person Internet company (2018)

…etc. is not a bad idea. [0]: https://google.github.io/styleguide/pyguide.html#3191-genera... [1]: https://github.com/google/pytype

comment by joshuamorton · 2019-06-11 · in A Failed Experiment with Python Type Annotations

Microsoft, Facebook, and Google all have their own Python type checkers now. * https://github.com/google/pytype * https://github.com/facebook/pyre-check

comment by anurag · 2019-03-24 · in Pyright: Static type checker for Python

…Not strictly related, but there are also other type checkers, too: At Google, we've got pytype ( https://github.com/google/pytype ) and Facebook has pyre-check ( https://github.com/facebook/pyre-check ). I've tried neither myself.

comment by jchw · 2019-03-03 · in Pydis: Redis clone in Python 3 to make points about performance

i work on pytype [ https://github.com/google/pytype ], a similar project for python, and it has definitely made business sense. it lets developers code in the language they find most productive (largely due to its dynamic nature), and adds…

comment by zem · 2018-06-04 · in Stripe is building a Ruby typechecker

…project to do type inference for Python written in Prolog, although they've since [switched away]( https://github.com/google/pytype ).

comment by kccqzy · 2018-05-21 · in The Power of Prolog

It's opensource and available externally tpp https://github.com/google/pytype It just doesn't seem to have gotten as much traction yet.

comment by ehsankia · 2018-05-12 · in Pyre: Fast Type Checking for Python

pytype [ https://github.com/google/pytype ] does do type inference (disclaimer - i work on it). if you supply an explicit type annotation it will be checked for correctness, and if not we trace through the control flow graph to figure out…

comment by zem · 2018-05-11 · in Pyre: Fast Type Checking for Python

…pytype[2]. [0]: http://ttendency.cs.ucl.ac.uk/projects/type_study/ [1]: http://mypy-lang.org/ [2]: https://github.com/google/pytype

comment by imiric · 2017-12-21 · in Open-sourcing MonkeyType – Let your Python code type-hint itself

For any dropboxers (or others), how does this compare with pytype? https://github.com/google/pytype .

comment by ipsum2 · 2017-11-15 · in PyAnnotate – Auto-generate type annotations for mypy

There's a patch from pytype that backported the type annotation syntax from python3 to python27: https://github.com/google/pytype/blob/master/pytype/patches/...

comment by yegle · 2017-07-27 · in Porting a historic Python2 module to Python3

There is also Google's pytype: https://github.com/google/pytype

comment by shalabhc · 2017-06-15 · in Instagram Makes a Smooth Move to Python 3

…Same exact effect. The syntax isn't the magic sauce, the type checker is. http://www.mypy-lang.org/ https://github.com/google/pytype

comment by sitkack · 2015-11-25 · in Python 3.5 type hinting in PyCharm 5