Typescript's type system (not the language, the _type system_ specifically) is the same! Folks have done cool things, like implement TicTacToe types [0] and a p

Typescript's type system (not the language, the _type system_ specifically) is the same! Folks have done cool things, like implement TicTacToe types [0] and a pure-types JSON parser [1] [0]: https://blog.joshuakgoldberg.com/type-system-game-engines/ https://blog.joshuakgoldberg.com/type-system-game-engines/ [1]: https://github.com/jamiebuilds/json-parser-in-typescript-very-bad-idea-please-dont-use https://github.com/jamiebuilds/json-parser-in-typescript-ver...