🌙

☰

Intersection type

In type theory, an intersection type can be allocated to values that can be assigned both the type σ {\displaystyle \sigma } and the type τ {\displaystyle \tau } . This value can be given the intersection type σ ∩ τ {\displaystyle \sigma \cap \tau } in an intersection type system. Generally, if the ranges of values of two types overlap, then a value…

TypeScript example, Overview & Dependent intersection type