PTT動漫區 / C_Chat (希洽)

[閒聊] DOOM 成功跑在 Typescript 的 Types

看板C_Chat (希洽)作者時間1天前 (2025/03/01 20:18), 編輯推噓3(3推 0噓 7→)
留言10則, 5人參與, 1天前最新討論串1/1
解說影片：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 天。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.173.185.206 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1740831481.A.F21.html
推
03/01 20:20, 1天前 , 1F
所有可以用javascript寫出來的東西 最後都會javascript
03/01 20:20, 1F
→
03/01 20:20, 1天前 , 2F
寫出來
03/01 20:20, 2F
推
03/01 20:39, 1天前 , 3F
任何系統只要被發現是圖靈完備下一步就是跑DOOM了是吧
03/01 20:39, 3F
→
03/01 20:41, 1天前 , 4F
wwwww
03/01 20:41, 4F
→
03/01 20:53, 1天前 , 5F
你這個還真不好懂==
03/01 20:53, 5F
→
03/01 20:55, 1天前 , 6F
沒寫過typescript我也不太懂，反正大概是
03/01 20:55, 6F
→
03/01 20:55, 1天前 , 7F
用自定義型別的方式去轉C或WebAssembly??
03/01 20:55, 7F
→
03/01 20:55, 1天前 , 8F
然後自製虛擬機來跑
03/01 20:55, 8F
推
03/01 23:07, 1天前 , 9F
感覺像是自己寫了一個底層，因為WASM之前是被拿來說跑AI很
03/01 23:07, 9F
→
03/01 23:07, 1天前 , 10F
好
03/01 23:07, 10F
‣ 更多 kuninaka 的文章
文章代碼(AID): #1dmlhvyX (C_Chat)
C_Chat 近期熱門文章
更多 近期熱門文章 >>
PTT動漫區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 kuninaka 的文章
文章代碼(AID): #1dmlhvyX (C_Chat)