DOOM ที่รันด้วยไทป์ของ TypeScript [วิดีโอ]

[GN⁺]

ความเห็นบน Hacker News

• สงสัยว่าสามารถสร้าง DOOM ใน regular expression ด้วยข้อมูล 177TB ได้หรือไม่

  • การรัน DOOM ด้วย TypeScript types วันละ 18 ชั่วโมงเป็นเวลา 1 ปีเป็นความทุ่มเทที่น่าทึ่งมาก
  • ตอนแรกอาจดูเหมือนไร้สาระ แต่การพิสูจน์ DOOM ก็มีคุณค่าไม่ต่างจากการพิสูจน์ทางคณิตศาสตร์อื่น ๆ
  • ข้อดีคือคนทั่วไปก็สามารถตรวจสอบได้
  • ขอแสดงความยินดีกับความสำเร็จอันน่าทึ่งนี้

• เมื่อพิจารณาจากข่าวลือที่ว่าระบบ type ของ TypeScript เป็น Turing-complete ก็ทั้งน่าทึ่งและก็ไม่น่าแปลกใจไปพร้อมกันว่ามันเป็นไปได้

  • ขอปรบมือให้กับความอุตสาหะที่ทำมันขึ้นมาจริง ๆ

• ยังไม่ค่อยเข้าใจนักว่าการรัน DOOM ในระบบ type หมายความว่าอย่างไร

  • เข้าใจได้ว่ามันสามารถคำนวณและสร้าง ASCII art ได้อย่างไร
  • แต่ยังยากที่จะเข้าใจว่า tsc จะเข้าถึงระบบเสียงหรือโหลดไฟล์ได้อย่างไร

• เห็น Dimitri อัปเดตความคืบหน้าของโปรเจกต์นี้ภายในองค์กร และมันน่าทึ่งจริง ๆ

  • นี่เป็นหนึ่งในสิ่งที่น่าทึ่งที่สุดที่เคยทำได้ด้วยโค้ด
  • เป็นความสำเร็จระดับตำนานและต้องใช้ความอึดมหาศาล

• ตัว WASM runtime ใน TypeScript types เพียงอย่างเดียวก็น่าประทับใจมากแล้ว

  • ต้องใช้ความพยายามอย่างมาก แต่พอจะนึกออกลาง ๆ ว่ามันทำงานได้อย่างไร
  • วิธีจัดการกับการป้อนข้อมูลจากคีย์บอร์ดยังเป็นสิ่งที่เข้าใจได้ยาก
  • ในวิดีโอมีเพียงการกล่าวว่า "มีวิธีจัดการกับการป้อนข้อมูลจากคีย์บอร์ด"
  • น่าจะมีบางอย่างนอกระบบ type ที่แปลงอินพุตจากคีย์บอร์ดให้เป็น TypeScript types

• รู้สึกอินกับประโยคที่ว่า "ฉันไม่ใช่นักพัฒนา 10x แต่เป็นคนที่เก่งพอในสิ่งที่ใกล้เคียงกัน"

  • มันคือการเดินทางที่ยาวนาน 1 ปี วันละ 18 ชั่วโมง
  • ผู้คนมักมองหานักพัฒนา 10x แบบ Good Will Hunting ของวงการโค้ด แต่ก็ยังมีนักพัฒนาจำนวนมากที่ไม่ยอมแพ้จนถึงที่สุดแม้จะยังไม่เข้าใจในทันที
  • นักพัฒนาแบบนั้นน่าจะมีมากกว่ายูนิคอร์นเสียอีก

• ชอบที่ Dimitri พูดถึงจุดเริ่มต้นของโปรเจกต์นี้

  • เอนจินนี้ถูกสร้างขึ้นสำหรับโปรเจกต์ที่ตั้งใจจะแสดงให้เห็นว่าทำไม DOOM ถึงไม่สามารถรันใน TypeScript types ได้
  • ที่น่าสนุกคือ สุดท้ายมันกลับรันได้จริง

• ถ้าวันนี้จะมีเรื่องไหนบน HN ที่สมควรได้รับความสนใจมากที่สุด ก็น่าจะเป็นเรื่องนี้

  • เป็นเรื่องที่ทั้งบ้าคลั่ง เหลือเชื่อ และสร้างแรงบันดาลใจอย่างแท้จริง

• วิธีที่ง่ายที่สุดในการตรวจสอบว่าระบบหนึ่งเป็น Turing-complete หรือไม่ คือดูว่ามีคนพอร์ต DOOM ลงไปหรือยัง

  • น่าประทับใจมาก