@sgrif Remember at Self a few years ago when I proposed a type system to you largely based on arbitrary union and intersection types, where sum types are the union of product types discriminated by required literal values in their fields? Turns out TypeScript did it and it works!
I do recall that convo. Just looked at it, that's super interesting. Typescript definitely seems to have it's priorities right -- it's type system very much focuses on what works best w/ js interop and/or what allows folks to represent what they are already doing in js
-
-
Yes. I was able to drop straight into it, coming from mostly dynamic languages. And in many cases, like this weird way of doing sum types, it lets me do what I'd always wanted to do in dynamic languages, but I was too afraid of botching it before.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.