这件事听起来可能有些离谱，毕竟 Type 是一门为 Java 增加静态类型检查的语言，其类型系统只是用于代码分析，按理来说不能执行任何程序——然而，软件工程师 Dmitri Mitropoulos 花了整整一年的时间，写了 3.5 万亿行类型代码，消耗了 90GB 的内存，最终成功让 Doom 在 Type 类型系统中运行起来了！

从用户体验的角度来看，尽管最终实现了Doom的运行，但在实际操作上却面临着显著的性能瓶颈。编译Doom的第一帧需耗费12天，帧率仅为0.0000009645fps，甚至比实时操作慢得多。这为对速度与性能有高要求的游戏开发者提供了反面教材，同时也引发了对编程语言在处理复杂项目时的极限反思。虽然这样的表现并不适合实际游戏体验，但它展示了Type作为一种开发工具在创新领域的广泛潜力。

“万物皆可DOOM”是游戏圈的一个经典梗 ... 几乎可以看作是一台小型电脑。 相比之下，1993年推出的初代《毁灭战士》的系统要求仅为4MB RAM，官方 ...