by theLiminator on 1/29/25, 7:59 PM
Very excited for this, looks like it's built on top of pretty solid technical foundations (iirc, it uses salsa from rust for incremental type checking). I've found mypy pretty terrible. Pyright is okay (but requires node).
Ruff truly can become one tool to rule them all.
by jasonpeacock on 1/29/25, 6:38 PM
by kittikitti on 1/29/25, 8:58 PM
I started learning Python when it was barely at version 1 precisely because there was no real static type checking. If I wanted that, I would just write the program in C or its variants. I wasn't excited about type hints because developers became super judgy if there weren't any. I just want to know why you're using Python if you want stronger typing and feel the need to change the entire language instead of using another one yourself.
by shlomo_z on 1/29/25, 5:59 PM
I am really excited.
Ruff is amazing, uv literally fixed all the python packaging issues we have, and now a type checker!!
Can't wait to see it!
by dcreager on 1/29/25, 8:02 PM
by esafak on 1/29/25, 6:32 PM
This is all very well but how are going to make money? They have taken VC investments.
by ehutch79 on 1/29/25, 8:47 PM
My big question is django support.
Django has a lot of magic that makes type checking more difficult than it should be.
I'm not really expecting anything, even just the speed bump will be nice.
by agumonkey on 1/29/25, 8:26 PM
Applaud the effort, but it's weird seeing python (and es6) living more and more on top of native static analyzers/transpilers .. at which point will they become a frontend syntax for ocaml or julia ? :p
by monlockandkey on 1/29/25, 7:36 PM
They just need to add a task runner feature (already being worked on) and the one tool to rule them all would be complete. Package manager, linter, formatter, type checker, task runner. Am I missing something? Maybe a build tool?
https://github.com/astral-sh/uv/issues/5903
by screye on 1/29/25, 8:56 PM
At the risk of sounding like a fanatic, I bet it will be great.
Everything Astral have put out has been a step improvement to my python dev flow. Until they disappoint me, I'm staying on this hype train.
by CapeTheory on 1/29/25, 7:42 PM
When it comes time to write Python 4, please just let these guys handle it.
by nimish on 1/29/25, 9:16 PM
astral doing what the endless layers of admin/people in the PSF can't: solve actual problems python devs face
by egeres on 1/29/25, 11:00 PM
Astral has consistently surprised the python community with amazing tooling. It was a matter of time before they jumped into type checking. I think ruff and uv were good first MVPs for a small company with a highly talented team. I can't help but wonder if someday they'll attempt to build their own Python interpreter in Rust, or if that's overkill.
by intalentive on 1/29/25, 8:40 PM
I would use a statically-typed Python that you can compile into a binary for better performance. Step 1: Develop fast in regular Python. Step 2: Add type annotations and build.
by aldanor on 1/29/25, 10:13 PM
Final piece of the puzzle will be one LSP to rule them all, unifying all previous work - aka python-analyzer.
by bmitc on 1/30/25, 5:46 PM
It's interesting to me that one of the most popular, if not the most popular, language in the world and one that is decades old has tooling that is constantly evolving and being reinvented and now in another language than itself. Contrast this with Rust and Elixir which have developed superior tooling in just a decade or so. I just started with real Python development in the past year and have already switched basic tooling!
by westurner on 1/29/25, 7:34 PM
Could it please also do runtime type checking?
(PyContracts and iContract do runtime type checking, but it's not very performant.)
That MyPy isn't usable at runtime causes lots of re-work.
by exabrial on 1/30/25, 4:21 PM
Wouldn't it make more sense to make a statically typed language? Like Crystal is to Ruby?
by sureglymop on 1/30/25, 12:18 AM
by joshdavham on 1/29/25, 7:40 PM
This is exciting! I'd love to be able to use something other than mypy, especially if it's way faster!
by wood-porch on 1/31/25, 2:32 AM
Good riddance! I’m optimistic that these guys will transform the typing landscape, which, let’s be honest, has room for improvement. I find mypy abysmal to use, bug-ridden with weird defaults, and extremely painful to add to an existing codebase
by deneb150 on 1/29/25, 6:22 PM
I've been waiting for this to happen, very excited to start using it.
by globular-toast on 1/29/25, 7:51 PM
Is it going to be like mypy or pyright? Will it include an LSP server? Pyright seems more focused on the LSP server side and doesn't seem as complete as mypy as a type checker.
by jokoon on 1/29/25, 10:58 PM
I wonder why making those sort of tools is so difficult
by hooverd on 1/29/25, 6:41 PM
Very cool. I wonder where the codename comes from?
by LorenzoGood on 1/31/25, 6:06 PM
by josh-sematic on 1/29/25, 6:29 PM
TL;DR on the status: they've been working on it for a while, but it's not yet ready for playing around with.
by binary132 on 1/29/25, 7:48 PM
“We’re building a new high-speed seatbelt system for covered wagons”
by mwt on 1/29/25, 7:57 PM
kinda mixed on this
- why not just contribute to the community tool?
- there's already a major split in Python type-checking tools, if there's a third that doesn't agree with either of them it'll be a mess for projects to deal with
- astral has been hiring like mad recently and has yet to communicate that they can actually make money ($5 million doesn't last forever)
- does it actually exist? is this currently a closed-source codebase, or is "we're building" future tense?