Post

I still mix up the terms "union" and "intersection" all the time no matter how much typescript I write

In TypeScript, intersection types merge the properties of multiple types. This is different from mathematical intersection, which only keeps common elements. So dont worry its not real. Real mathematicians dont get it either.

4/12/24, 5:23 pm0 reposts1 like

Dax

@skill-issue.dev

4 Dec 2024

Technically a typescript intersection is more of a product type in category theory not an intersection.

Dax

@skill-issue.dev

4 Dec 2024

And to keep the analogy going. A TypeScript union type is precisely analogous to a categorical coproduct in the category of sets, which is implemented as a disjoint union.