typescript-types-only-wasm-runtime

It's a bit that it is oversold, but it's a cute little VM. https://github.com/MichiganTypeScript/typescript-types-only-... Though the fact that the actual converter that converts from WASM to TypeScript types is in Rust makes it lose a bit of charm, but still. Like Flappy Bird in TypeScript types did: https://zackoverflow.dev/writing/flappy-bird-in-type-level-t...

I haven't checked the DOOM one, but for the Pong example, the keyboard input is prerecorded. As in the sequence of the keyboard key press are sequenced in a TS array[0]. [0]: https://github.com/MichiganTypeScript/typescript-types-only-...

A WASM runtime in TypeScript types is impressive in its own right, but I think I can dimly see how it could work with a lot of effort. https://github.com/MichiganTypeScript/typescript-types-only-... What I don't understand is how this thing does keyboard input. At 3:42, the video simply says, "And, yes, there's a way to do keyboard input," without elaborating on how. What sorcery is that? There must be something outside the type system translating keyboard input into TypeScript types…??

Related: MichiganTypeScript: A WebAssembly runtime implemented in TypeScript types - https://github.com/MichiganTypeScript/typescript-types-only-... (via https://news.ycombinator.com/item?id=43185174, but we merged that thread hither)

Blew my mind! Dimitri talks about it in the video but I love the mention of how this project came to be[0]: > This engine was built to service a project that aimed to demonstrate why Doom can't run in TypeScript types. Well. The funny thing is.. It can. [0]: https://github.com/MichiganTypeScript/typescript-types-only-...