PickVidsTypeScript types can run DOOM
推荐理由
I must link this wonderful video about TypeScript types running... DOOM.
说明
这是2025年由Michigan TypeScript发布的一部演示，主题归在Programming language design。它讲的是typescript type system这一支里的具体问题，而不是把整个领域扫一遍。适合按兴趣直接看、不打算先补课的人。内容上可以概括成：The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.这些读者给出的理由，核心是：HN commenters link it as a delightful example of how far TypeScript types can be pushed, since they are Turing complete.讲法不绑某一条新闻，过几年仍然可以当材料看。从2025年到2025年，有1位不同的读者在1个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合先看结果再决定要不要深挖的人。先看它做成了什么。如果已经会了基本定义，就把注意力放在它怎么把typescript type system变成能跟着复述的例子。
视频信息
- 频道
- Michigan TypeScript
- 时长
- 6 分 59 秒
- 发布年份
- 2025