[閒聊] 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很好
