WingNews logo WingNews
top | item 42870296

(no title)

mwt | 1 year ago

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?

discuss

order

zem|1 year ago

> - why not just contribute to the community tool?

what community tool? mypy is written in python, and is non-incremental, whereas astral's goal is to build a fast, incremental type checker in rust. there is no way to get from one to the other via code contributions, they fundamentally need to start from scratch with their own architecture.

as for the split in type checking tools, it is not as bad as you think; the syntax and to a large extent the semantics of the type system are defined via a community process and standardised upon, and the various type checkers largely differ in their implementation details but not in their interpretation of the code. so you can freely use several different type checkers without fear of disagreement.

VeejayRampay|1 year ago

nah actually we should keep the slow, subpar tooling we got now because it came first

those people producing fantastic tools that have transformed the ecosystem of linting and packaging should be working on it instead of working on transformative tech

mwt|1 year ago

> as for the split in type checking tools, it is not as bad as you think

I'm surprised you already know it's not as bad as I think - have you been able to use it? Working on a team that mixes mypy and pyright is pretty frustrating since they don't agree on everything (i.e. when one changeset passes on one and fails on the other) and I see no reason to believe the inconsistencies will become more rare when the number of opinions goes from two to three

dcreager|1 year ago

> does it actually exist? is this currently a closed-source codebase, or is "we're building" future tense?

From the thread:

> We haven't publicized it to-date, but all of this work has been happening in the open, in the Ruff repository.

mwt|1 year ago

thanks, I didn't know it was a thread because of the login wall