[闲聊] DOOM 成功跑在 Typescript 的 Types
楼主: kuninaka 2025-03-01 20:17:58
解说影片：https://youtu.be/0mCsluv5FXA
GitHub Repo：
https://github.com/MichiganTypeScript/typescript-types-only-wasm-runtime
他为了要证明这是不可能的，然后去实作看看
结果证明可以！？
在此过程中，他在类型系统中实现了一个完整的 WASM 虚拟机，包括实现 DOOM 所需的
116 条 WebAssembly 指令，从整数运算开始，并结合内存管理、动态调度等，所有这些
都在以字符串文字存储的二进制补码数上运行。
最终结果是 177TB 的数据，代表 3.5 兆行类型定义。以每秒 2000 万个类型实例的速度
渲染《DOOM》的第一帧耗时 12 天。
GitHub Repo：
https://github.com/MichiganTypeScript/typescript-types-only-wasm-runtime
他为了要证明这是不可能的，然后去实作看看
结果证明可以！？
在此过程中，他在类型系统中实现了一个完整的 WASM 虚拟机，包括实现 DOOM 所需的
116 条 WebAssembly 指令，从整数运算开始，并结合内存管理、动态调度等，所有这些
都在以字符串文字存储的二进制补码数上运行。
最终结果是 177TB 的数据，代表 3.5 兆行类型定义。以每秒 2000 万个类型实例的速度
渲染《DOOM》的第一帧耗时 12 天。
作者: gino0717 (gino0717) 2025-03-01 20:20:00
所有可以用javascript写出来的东西 最后都会javascript写出来
作者: orooro 2025-03-01 20:39:00
任何系统只要被发现是图灵完备下一步就是跑DOOM了是吧
楼主: kuninaka 2025-03-01 20:41:00
wwwww
作者: spfy (spfy) 2025-03-01 20:53:00
你这个还真不好懂==
楼主: kuninaka 2025-03-01 20:55:00
没写过typescript我也不太懂，反正大概是用自定义型别的方式去转C或WebAssembly??然后自制虚拟机来跑
作者: artjio (Achiever) 2025-03-01 23:07:00
感觉像是自己写了一个底层，因为WASM之前是被拿来说跑AI很好
