> but pyright will not (because it infers the types of unannotated collections a... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		maleldil 9 days ago \| parent \| context \| favorite \| on: Announcing the Beta release of ty > 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].

hauntsaninja 9 days ago [–]

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.

ErikBjare 8 days ago | [–]

This was confusing me, thanks.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact