News for hackers. Stuff that matters.
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.

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