TypeScriptの型で実行されるDOOM [動画]

[GN⁺]

Hacker Newsのコメント

• 177TBあれば正規表現でDOOMを実装できるのか気になる

  • 1年間、毎日18時間ずつDOOMをTypeScriptの型で動かしたのはすごい献身だ
  • 最初は無意味に見えるかもしれないが、DOOMの証明は他の数学的証明と同じくらい価値がある
  • 一般の人でも検証できるという利点がある
  • この驚くべき達成に祝福を送りたい

• TypeScriptの型システムがチューリング完全だという噂を考えると、これが可能なことに驚くと同時に、驚かなくもある

  • 実際にこれをやり遂げた粘り強さに拍手を送りたい

• 型システムでDOOMを動かすというのが何を意味するのか、まだよく理解できていない

  • 計算を行ってASCIIアートを生成する方法は理解できる
  • しかし、tscがオーディオシステムにアクセスしたりファイルを読み込んだりする方法は理解しにくい

• Dimitriがこのプロジェクトの進捗を社内で更新しているのを見たが、本当に驚異的だった

  • コードで成し遂げられたことの中でも最も驚くべきものの一つだ
  • 伝説的な偉業であり、とてつもない粘り強さが必要だった

• TypeScriptの型におけるWASMランタイムは、それ自体でも印象的だ

  • 膨大な努力が必要だが、どう動きうるのかはなんとなく理解できる
  • キーボード入力をどう処理するのかは理解しにくい
  • 動画では「キーボード入力を処理する方法がある」とだけ言及している
  • 型システムの外部でキーボード入力をTypeScriptの型へ変換する何かがあるのだろう

• 「自分は10倍開発者ではなく、それに十分近いものをうまくやる人間だ」という言葉に共感する

  • 1年間、毎日18時間ずつの旅だった
  • 人はコード界のグッド・ウィル・ハンティングのような10倍開発者を探すが、すぐに理解できなくても最後まで諦めない開発者も大勢いる
  • そういう開発者はユニコーンよりずっと多いはずだ

• このプロジェクトがどう始まったのかについてのDimitriの言及が気に入った

  • このエンジンは、DOOMがTypeScriptの型では動かせない理由を示すためのプロジェクトのために作られた
  • 面白いのは、実際には動かせるということだ

• 今日のHNで最も注目されるべき話があるとすれば、これだろう

  • 完全に狂気じみていて、驚くべき、そして刺激を受ける話だ

• システムがチューリング完全かどうかを確認する一番簡単な方法は、DOOMが移植されているかを見ることだ

  • 非常に印象的だ