astral-sh/ty
View on GitHub ↗ ★ 20,010 Python
An extremely fast Python type checker and language server, written in Rust.
18 mentions on Hacker News by 16 people: 2 stories, 16 comments · first 2025-05-07 · latest 2026-10-26
20082026
-
…> For more info see here https://github.com/microsoft/pylance-release/discussions/718... and here https://github.com/astral-sh/ty/issues/1190#issuecomment-337...
comment by nextaccountic · 2026-10-26 · in Type Server Protocol -
▲ 2
Ty Type system feature overviewstory by HiPHInch · 2026-04-16 · 0 comments
-
…be mitigated by ty and pyodide (already used by cf’s python workers) https://pyodide.org/en/stable/ https://github.com/astral-sh/ty
comment by shoeb00m · 2026-02-07 · in Monty: A minimal, secure Python interpreter written in Rust for use by AI -
…as fast as astral-sh/ty would make type annotations useful at runtime "Support runtime checking" : https://github.com/astral-sh/ty/issues/867 : > [ typeguard, beartype, trycast; mypyc ] mypyc/mypyc: Compile type annotated Python to fast C…
comment by westurner · 2026-01-09 · in Why AI is pushing developers toward typed languages -
It's talking about Luau (gradually typed, https://luau.org/ ), not Lua. Hopefully https://github.com/astral-sh/ty will make the Python typing situation better, but absent that, Python typing is... not great. Honestly even with that it…
comment by tekacs · 2026-01-09 · in Why AI is pushing developers toward typed languages -
…is causing the hang. That's how we debug these kinds of issues when they're reported to us.) [1] https://github.com/astral-sh/ty/issues/1968 [2] https://github.com/astral-sh/ty/issues/1993 [3] https://github.com/astral-sh/ruff/pull/22030
comment by dcreager · 2025-12-19 · in Announcing the Beta release of ty -
Thank you! I reported this as https://github.com/astral-sh/ty/issues/1994 Support for auto-completing TypedDict keys is tracked here: https://github.com/astral-sh/ty/issues/86
comment by sharkdp · 2025-12-17 · in Announcing the Beta release of ty -
This is also documented at https://github.com/astral-sh/ty?tab=readme-ov-file#contribut... and https://github.com/astral-sh/ty/blob/main/CONTRIBUTING.md#re...
comment by zanie · 2025-12-16 · in Announcing the Beta release of ty -
…assuming they're still working through final housekeeping items before formally announcing it. [1] https://github.com/astral-sh/ty/commit/7a6b79d37e165f2e73189...
comment by serjester · 2025-11-30 · in Ty – A fast Python type checker, written in Rust -
I'm waiting for ty to get TypedDict checking. https://github.com/astral-sh/ty/issues/154
comment by collinmanderson · 2025-10-29 · in Uv is the best thing to happen to the Python ecosystem in a decade -
…also building a type checker, and it already works really well (and fast!), despite beta status: https://github.com/astral-sh/ty
comment by alex_suzuki · 2025-09-28 · in Python developers are embracing type hints -
Hah, I stand corrected. In my defense, Ty make it a lot more obvious and ominous on their github ( https://github.com/astral-sh/ty ): > /!\ Warning > ty is in preview and is not ready for production use. > We're working hard to make ty…
comment by rhaps0dy · 2025-08-20 · in An Update on Pytype -
…Pyright - https://github.com/microsoft/pyright Pyrefly - https://github.com/facebook/pyrefly ty - https://github.com/astral-sh/ty
comment by froh · 2025-08-20 · in An Update on Pytype -
…go to definition, and deeper LSP features are on the roadmap for the eventual beta and GA releases. https://github.com/astral-sh/ty/blob/main/docs/README.md#oth...
comment by dcreager · 2025-05-27 · in Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers -
…what you're doing with the list in the surrounding context. We have a tracking issue for that here: https://github.com/astral-sh/ty/issues/168
comment by dcreager · 2025-05-27 · in Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers -
This is very cool but why wouldn’t they just contribute to uv and ruff and ty https://github.com/astral-sh/ty
comment by kingkongjaffa · 2025-05-17 · in Pyrefly: A new type checker and IDE experience for Python -
…as .dev releases. No, they are correctly using semantic versioning to indicate pre-alpha releases. https://github.com/astral-sh/ty/releases https://semver.org/
comment by usr9012809 · 2025-05-07 · in Ty: A fast Python type checker and language server -
▲ 916
Ty: A fast Python type checker and language serverstory by arathore · 2025-05-07 · 287 comments