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

在技术界，总有一些疯狂的创意让人不禁惊叹。最近，一项引人注目的挑战再次将经典游戏《毁灭战士》（DOOM）推上了风口浪尖。这款1993年由id Software推出的游戏，已在全球范围内被移植到各种意想不到的平台上，包括PDF文件、Word文档和网站验证码等，而最近的进展是它居然被成功移植到了Type的类型系统中。 该项目背后的创造者Dmitri Mitropoulos表示，这一创举耗费了一年时间， ...

在昨天的QuakeCon欢迎直播中，id Software的Marty Stratton和Hugo Martin登上主舞台，宣布《DOOM》+《DOOM II》的最终组合重制版现已在全球上线。id Software团队还 ...