# TypeScript 타입으로 실행되는 DOOM [비디오]

> Clean Markdown view of GeekNews topic #19453. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=19453](https://news.hada.io/topic?id=19453)
- GeekNews Markdown: [https://news.hada.io/topic/19453.md](https://news.hada.io/topic/19453.md)
- Type: GN+
- Author: [neo](https://news.hada.io/@neo)
- Published: 2025-02-27T09:42:57+09:00
- Updated: 2025-02-27T09:42:57+09:00
- Original source: [youtube.com](https://www.youtube.com/watch?v=0mCsluv5FXA)
- Points: 1
- Comments: 1

## Topic Body

_No topic body._

## Comments



### Comment 35181

- Author: neo
- Created: 2025-02-27T09:42:57+09:00
- Points: 1

###### [Hacker News 의견](https://news.ycombinator.com/item?id=43184291) 
* 177TB로 정규 표현식에서 DOOM을 구현할 수 있을지 궁금함
  - 1년 동안 하루 18시간씩 DOOM을 TypeScript 타입으로 실행한 것은 대단한 헌신임
  - 처음에는 무의미해 보일 수 있지만, DOOM 증명은 다른 수학적 증명만큼 가치가 있음
  - 일반인도 검증할 수 있는 장점이 있음
  - 이 놀라운 성취에 축하를 보냄

* TypeScript의 타입 시스템이 튜링 완전하다는 소문을 고려할 때, 이 가능성에 놀라움과 동시에 놀랍지 않음
  - 실제로 이를 실행한 끈기에 박수를 보냄

* DOOM을 타입 시스템에서 실행한다는 것이 무엇을 의미하는지 아직 잘 이해하지 못함
  - 계산을 수행하고 ASCII 아트를 생성하는 방법은 이해할 수 있음
  - 그러나 tsc가 오디오 시스템에 접근하거나 파일을 로드하는 방법은 이해하기 어려움

* Dimitri가 이 프로젝트의 진행 상황을 내부적으로 업데이트하는 것을 보았고, 정말 놀라웠음
  - 코드로 이뤄낸 가장 놀라운 일 중 하나임
  - 전설적인 업적이며 엄청난 끈기가 필요했음

* TypeScript 타입에서의 WASM 런타임은 자체로도 인상적임
  - 많은 노력이 필요하지만 어떻게 작동할 수 있는지 어렴풋이 이해할 수 있음
  - 키보드 입력을 처리하는 방법은 이해하기 어려움
  - 영상에서는 "키보드 입력을 처리하는 방법이 있다"고만 언급함
  - 타입 시스템 외부에서 키보드 입력을 TypeScript 타입으로 변환하는 무언가가 있을 것임

* "나는 10배 개발자가 아닌, 충분히 가까운 것을 잘하는 사람임"이라는 말에 공감함
  - 1년 동안 하루 18시간씩의 여정이었음
  - 사람들은 코드의 굿 윌 헌팅 같은 10배 개발자를 찾지만, 즉시 이해하지 못해도 끝까지 포기하지 않는 개발자도 많음
  - 그런 개발자들이 유니콘보다 더 많을 것임

* 이 프로젝트가 어떻게 시작되었는지에 대한 Dimitri의 언급을 좋아함
  - 이 엔진은 DOOM이 TypeScript 타입에서 실행될 수 없는 이유를 보여주기 위한 프로젝트를 위해 만들어졌음
  - 재미있는 점은, 실제로 실행할 수 있다는 것임

* 오늘 HN에서 가장 주목받아야 할 이야기라면 이 이야기일 것임
  - 완전히 미친 듯이 놀랍고 영감을 주는 이야기임

* 시스템이 튜링 완전한지 확인하는 가장 쉬운 방법은 DOOM이 포팅되었는지 확인하는 것임
  - 매우 인상적임
