Ty: A fast Python type checker and LSP

Re:Ty: A fast Python type checker and LSP by xixixao on Wednesday December 17, 2025 @05:13AM (#46300144)

In case you’re not well versed in Python typecheckers, in the mypy vs Pyright example, Pyright can be configured to complain about not annotating the collection (and so both typecheckers will yell at the code as written).

TypeScript takes the same approach in this scenario, and I assume this helps both be fast.

[ Parent | on HN ]

Re:Ty: A fast Python type checker and LSP by solvedd on Wednesday December 17, 2025 @06:36AM (#46300841)

They were "on the Python Typing Council and helped put together the spec, the conformance test suite, etc" so I assume they are an expert on Python typecheckers

[ Parent | on HN ]

Re:Ty: A fast Python type checker and LSP by xixixao on Wednesday December 17, 2025 @03:51PM (#46305342)

I didn’t write it for parent lol. I guess I should be more careful with “you”.

[ Parent | on HN ]

Re:Ty: A fast Python type checker and LSP by jitl on Wednesday December 17, 2025 @02:15PM (#46304139)

TypeScript will use flow typing to determine the type as number[] in this code:

    const x = []
    x.push(1)
    type t = typeof x // number[]

[ Parent | on HN ]