Hacker GitHub

← All repos

python/typing

View on GitHub ↗ ★ 1,783 Python

Python static typing home. Hosts the documentation and a user help forum.

26 mentions on Hacker News by 23 people: 6 stories, 20 comments · first 2016-08-10 · latest 2026-08-07

Mentions per year 26 mentions · busiest year 2025 (10)
20082026
AllStoriesComments NewestTopOldest
  1. Article is a nice write up of https://htmlpreview.github.io/?https://github.com/python/typ... (glad they include ty now)
    comment by persedes · 2026-03-16 · in Comparing Python Type Checkers: Typing Spec Conformance
  2. https://github.com/python/typing/pull/2137 PR is somewhat WIP-ish but I needed some motivation to do OSS work again :)
    comment by SSchick · 2025-12-17 · in Announcing the Beta release of ty
  3. Thanks Astral team! We use Pydantic heavily, and it looks like first class support from Ty is slated for the stable release, we'd love to try it. While we wait... what's everyone's type checking setup? We run both Pyright and Mypy... they…
    comment by shrumm · 2025-12-16 · in Announcing the Beta release of ty
  4. FWIW MyPy is not very conformant: https://htmlpreview.github.io/?https://github.com/python/typ...
    comment by danudey · 2025-12-16 · in Announcing the Beta release of ty
  5. Hopefully it gets added to this comparison: https://htmlpreview.github.io/?https://github.com/python/typ... If that table is anything to go by, Pyright is not to be underestimated. I have briefly tried ty (LSP) in Emacs and it seems to…
    comment by frou_dh · 2025-12-16 · in Announcing the Beta release of ty
  6. …ps://mail.python.org/archives/list/python-ideas@python.org/thread/OVPF5I6IOVF6GOJQRH5UGCCU3R7PQHUF/ - https://github.com/python/typing/issues/242 - "Final names and attributes" https://github.com/python/mypy/pull/5522 This is where…
    comment by westurner · 2025-12-11 · in A “frozen” dictionary for Python
  7. …[2]: https://mypy.readthedocs.io/en/stable/error_code_list.html#c... [3]: https://github.com/python/typing/issues/1835
    comment by Narushia · 2025-09-29 · in Python developers are embracing type hints
  8. …of the annotations as documentation is useful enough to justify the added work adding them. [1] https://github.com/python/typing/issues/213
    comment by nbadg · 2025-09-28 · in Python developers are embracing type hints
  9. The current major type checkers, mypy and pyright, are also based on the same PEPs, but you can still see differences between them. For example, my codebase passes pyright in strict mode, but mypy results in a bunch of type errors. I'd…
    comment by maleldil · 2025-05-18 · in Pyrefly: A new type checker and IDE experience for Python
  10. …that come to mind are: https://discuss.python.org/t/pep-692-using-typeddict-for-mor... and: https://github.com/python/typing/issues/1252
    comment by reubenmorais · 2025-05-08 · in Ty: A fast Python type checker and language server
  11. preview: < https://htmlpreview.github.io/?https://github.com/python/typ... >
    comment by GalaxySnail · 2024-11-29 · in Python Type System Conformance Test Results
  12. Pyright was itself a big improvement over Mypy. Just look at this for starters: https://htmlpreview.github.io/?https://github.com/python/typ... If Astral can leapfrog Pyright too, great. But I think it will be significantly harder than…
    comment by frou_dh · 2024-10-30 · in Astral: Next-Gen Python Tooling
  13. …but it's interesting that intersection types have been under consideration for a long time now: https://github.com/python/typing/issues/213
    comment by nerdponx · 2024-06-12 · in Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
  14. …Though you should probably take that up with Guido, who also calls them variable-length tuples: https://github.com/python/typing/issues/30 > This whole statement doesn't make sense. I'm assuming you're still talking about type definitions…
    comment by Timon3 · 2023-11-22 · in Writing and linting Python at scale
  15. …can't express it with `typing.Callable` You might be interested in the discussion over here then -> https://github.com/python/typing/issues/769#issuecomment-741...
    comment by codethief · 2021-05-10 · in Pyre: A performant type-checker for Python 3
  16. …little things out there for advanced typing, being added now and then: - TypedDict and Literal: https://github.com/python/typing/blob/master/typing_extensio... (TypedDict was accepted in PEP 589[1]) - NamedTuple had variable annotation…
    comment by tony · 2020-02-09 · in Wrestling Python into LLVM Intermediate Representation (2019) [video]
  17. …const decorators.[2] [1]: https://github.com/gevent/gevent/blob/master/src/gevent/monk... [2]: https://github.com/python/typing/issues/242
    comment by ben509 · 2019-10-20 · in Python at Scale: Strict Modules
  18. …return [scalar * num for num in vector] def greeting(name: str) -> str: return 'Hello ' + name [0] https://github.com/python/typing [1] https://docs.python.org/3/library/typing.html
    comment by Rotareti · 2017-07-01 · in Why We Chose Typescript
  19. There's an open issue discussing the idea of an explicit protocol support somehow in Python: https://github.com/python/typing/issues/11 .
    comment by brettcannon · 2016-10-14 · in Static types in Python
  20. Where can we voice our opposition to this? https://github.com/python/typing/issues/258
    comment by bakery2k · 2016-08-13 · in PEP 526: Variable declaration in Python