News for hackers. Stuff that matters.

A comment on Ty: A fast Python type checker and LSP. Parent comment

Re:Ty: A fast Python type checker and LSP by maleldil on Tuesday December 16, 2025 @11:10PM (#46298150)
> but pyright will not (because it infers the types of unannotated collections as having Any)

This is incorrect. pyright will infer the type of x as list[Unknown].

[ Parent | on HN ]
Re:Ty: A fast Python type checker and LSP by hauntsaninja on Wednesday December 17, 2025 @12:53AM (#46298706)
Unknown has the exact same type system semantics as Any.

Unknown is a pyright specific term for inferred Any that is used as the basis for enabling additional diagnostics prohibiting gradual typing.

Notably, this is quite different from TypeScript’s unknown, which is type safe.

[ Parent | on HN ]
Re:Ty: A fast Python type checker and LSP by ErikBjare on Thursday December 18, 2025 @03:55AM (#46310368)
This was confusing me, thanks.
[ Parent | on HN ]