3 ms·
I've come to believe that sufficiently advanced type inference is indistinguishable from an interpreter ...which has the implication that what TypeScript is ac
by brundolf 2y ago
I've come to believe that sufficiently advanced type inference is indistinguishable from an interpreter
...which has the implication that what TypeScript is actually giving us is a REPL. Our code is increasingly "evaluated" by our IDE, in our hover-overs
I think this is a major reason people like TypeScript so much
- shepherdjerred 2y agoTypeScript's type system is turing complete. You might find this interesting: https://github.com/type-challenges/type-challenges https://github.com/type-challenges/type-challenges