TS infer keyword

Creator

Creator

Seonglae Cho

Created

Created

2021 Apr 22 8:18

Editor

Editor

Seonglae Cho

Edited

Edited

2025 Oct 16 12:35

Refs

Refs

Declaring Inferred Type Parameters (Not Generic)

This declares a new type

The role of the infer keyword in conditional types is to check whether the type following infer actually exists, enabling accurate type inference

Too deep

typescript의 unknown과 never 타입

다른 모든 타입들의 슈퍼셋이다. 모든 타입들은 unknown타입이다. 다른 모든 타입들의 서브셋이다. 가장 최하위 개념의 타입이다. 따라서, 그 어떤 다른 타입들도 never타입일 수 없다. never는 never그 자체다. never는 그 어떤 타입도 아니기 때문에 union을 하더라도 그대로다. T & unknown ⇒ T unknown은 모든 타입들의 superset이기 때문에 unknown과 어떤 타입 T를 교집합하면 그대로 T가 나온다.

https://simsimjae.tistory.com/463

typescript의 unknown과 never 타입

Why is the infer keyword needed in Typescript?

Thanks for contributing an answer to Stack Overflow! Please be sure to answer the question. Provide details and share your research! Asking for help, clarification, or responding to other answers. Making statements based on opinion; back them up with references or personal experience. To learn more, see our tips on writing great answers.

https://stackoverflow.com/questions/60067100/why-is-the-infer-keyword-needed-in-typescript

Recommendations

///////////