TIL typescript has dependent types???
![type Either<A, B> = [false, A] | [true, B];
it’s a valid TS type lol](https://pbs.twimg.com/media/FE3PT_NXsAEBeFr?format=jpg&name=medium)
read image description
ALT
Conversation
It's more like "refinement" types. Basically you can specify that a type has specific values over just the full range.
e.g.
type SmallInt = 1 | 2 | 3
1
2
There are also conditional types which are a nontrivial special case of pi types
1
1
Had to think for a sec, but yeah, you are right:
Π(cond : Bool). if cond then A else B
very unsound though lol
heh, yup. hopefully folks don't end up hating on dependent types because they are ‘broken’ though 😳
1