Ty – A fast Python type checker, written in Rust(docs.astral.sh)
74 pointsby dvrp9 hours ago7 comments
  • tomhow7 hours ago
    Buried as a dupe for now, until a release post is published. See https://news.ycombinator.com/item?id=46101669 for more.

    Previous discussion:

    Ty: A fast Python type checker and language server - https://news.ycombinator.com/item?id=43918484 - May 2025 (287 comments)

  • serjester7 hours ago
    I'm not sure if they're gearing up for an announcement, but about 9 days ago they dropped the preview warning from their README. I'm assuming they're still working through final housekeeping items before formally announcing it.

    [1] https://github.com/astral-sh/ty/commit/7a6b79d37e165f2e73189...

    • alfalfasprout7 hours ago
      I mean, it's been announced already. Caveat: It's still very far from being competitive with SOTA type checkers like basedpyright.

      Still, it's great that this is being worked on and I expect in a year or two ty should be comprehensive enough to migrate over to.

  • grim_io7 hours ago
    Facebook's pyrefly might be the one part that could break up astral's total python ecosystem dominance, and that is probably a good thing.

    I'm saying that as a massive uv and ruff fan.

    • alfalfasprout7 hours ago
      I would hesitate to call it total dominance. There's a lot of good competition arising in this space. If you haven't already, check out pixi for example. And yeah, pyrefly is fantastic.

      Competition is good in this case.

    • kissgyorgy7 hours ago
      Why is that a good thing?
      • grim_io7 hours ago
        I don't think that the whole ecosystem should be dominated by a single VC backed startup.

        I want my tools to be interchangeable and to play well with other choices.

        Having multiple big players helps with that.

  • dkdcio7 hours ago
    previous discussion: https://news.ycombinator.com/item?id=43918484

    my understanding is no real news on Ty since then? is Astral announcing it as production ready?

  • cr125rider6 hours ago
    How long until these guys make a great transpiler to Rust?

    I’m half kidding.

  • bbor7 hours ago
    Over the past few months, I've switched a few decently-sized python codebases from MyPy (which I used for years) to PyreFly (because the MyPy LSP ecosystem is somewhere between crumbling and deprecated at this point), and finally to Ty after it left beta this week. I'm now running a fully Astral-ized (rust-ized!) setup:

    1. packaging with uv (instead of pip or poetry),

    2. type checking with ty (instead of the default MyPy or Meta's Pyrefly),

    3. linting with ruff (instead of Jedi),

    4. building with uv build (instead of the default setuptools or poetry build),

    5. and publishing with uv publish (instead of the default twine)

    ...and I'm just here to just say that I highly recommend it!

    Obviously obsessing over type checking libraries can quickly become bikeshedding for the typical project, but I think the cohesive setup ends up adding a surprising amount of value. That goes double if you're running containers.[1]

    TBH I see Astral and Pydantic as a league of their own in terms of advancing Python, for one simple reason: I can trust them to almost always make opiniated decisions that I agree with. The FastApi/SQLModel guy is close, but there's still some headscratchers -- not the case with the former two. Whether it's docs, source code, or the actual interfaces, I feel like I'm in good hands.

    TL;DR: This newly-minted fanboy recommends you try out ty w/ uv & ruff!

    [1]https://docs.astral.sh/uv/guides/integration/docker/#availab...

  • code_biologist7 hours ago
    The tagline: An extremely fast Python type checker, written in Rust.

    @dang or another mod, can you add that to the title? Thanks!