TypeScript 7.0 ใช้คอมไพเลอร์ใหม่เขียนด้วย Go ทำให้การตรวจสอบประเภทเร็วขึ้นถึง 12 เท่า

Lead: Microsoft เปิดตัว TypeScript 7.0 พร้อมคอมไพเลอร์ใหม่ที่เขียนด้วยภาษา Go** ทำให้การตรวจสอบประเภท (type‑check) เร็วขึ้นถึง 8‑12 เท่าในสภาพแวดล้อมการพัฒนา รายงานนี้สำคัญต่อชุมชนผู้พัฒนาที่พึ่งพา TypeScript เป็นพื้นฐานของโค้ด JavaScript ขนาดใหญ่หลายล้านบรรทัด

Overview

TypeScript เวอร์ชัน 7.0 ถือเป็นการเปิดตัวครั้งแรกของคอมไพเลอร์ที่ถูกเขียนใหม่โดยใช้ Go แทนการทำงานบนเครื่องมือ V8 ที่เคยใช้ภาษา TypeScript เอง ทีมพัฒนาตั้งเป้าหมายให้ภาษานี้ตอบโจทย์ด้านความเร็วและประสิทธิภาพในการตรวจสอบโค้ดขั้นสูง การปรับโครงสร้างนี้เริ่มต้นจากโปรโตไทป์ที่ทดลองใช้ Go และต่อเนื่องจนกลายเป็นส่วนสำคัญของการปล่อยเวอร์ชันเสถียร

ตามคำพูดของ Daniel Rosenwasser ผู้จัดการผลิตภัณฑ์ระดับ Principal ของ Microsoft, “TypeScript 7 นำเสนอความเร็วระดับโค้ดพื้นฐาน (native code) การทำงานแบบหลายเธรดด้วย shared memory และออพติไมเซชันใหม่ที่ให้ผลลัพธ์เพิ่มขึ้นระหว่าง 8x‑12x บนการสร้างเต็มรูปแบบ” สิ่งนี้หมายถึงเวลาที่นักพัฒนาต้องรอคอยเพื่อให้ระบบตรวจสอบประเภททำงานเสร็จ จะสั้นลงอย่างมาก

Technical Details

คอมไพเลอร์เดิมของ TypeScript เขียนด้วยภาษา TypeScript เองและทำงานบนเครื่องมือ V8 ของ Google ซึ่งจำกัดความเร็วในการประมวลผลโดยต้องอาศัยการแปลเป็น JavaScript ก่อนที่จะรัน การย้ายไปใช้ Go ทำให้คอมไพเลอร์สามารถสร้างโค้ดที่ทำงานแบบ native บนทุกแพลตฟอร์มได้ทันที ทั้งนี้ Go ยังมีระบบหน่วยความจำ (memory) ที่จัดการได้อย่างมีประสิทธิภาพและสนับสนุนการทำงานพร้อมกันหลายเธรดโดยใช้ shared memory concurrency

ในกระบวนการพัฒนานี้ ทีม TypeScript ต้องเขียนโค้ดส่วนใหญ่ใหม่จากศูนย์ การเปลี่ยนแปลงนี้รวมถึงการสร้าง Language Server ใหม่ที่ทำงานด้วย Go ซึ่งช่วยลดเวลาในการเปิดไฟล์, ค้นหาโค้ด, และเรียกใช้ฟีเจอร์ auto‑completion อย่างชัดเจน ความเร็วที่เพิ่มขึ้นเป็นประโยชน์ต่อผู้ใช้โดยตรงในขั้นตอนพัฒนา แม้ว่าจะไม่มีผลต่อเวลาที่แอปพลิเคชันจะถูกทำให้พร้อมใช้งาน (deployment)

Benchmarks

Microsoft ได้เผยผลการทดสอบกับโครงการขนาดใหญ่หลายตัวเพื่อเปรียบเทียบประสิทธิภาพของ TypeScript 6 กับ TypeScript 7 ตัวอย่างที่สำคัญได้แก่:

• VSCode (2.3 ล้านบรรทัด) – 125 วินาที (TS 6) 10.6 วินาที (TS 7), เพิ่มขึ้น 11.9x
• Sentry (1.9 ล้านบรรทัด) – 15.7 วินาที (TS 7)
• Bluesky (628,000 บรรทัด) – 2.8 วินาที (TS 7)
• Playwright (528,000 บรรทัด) – 1.47 วินาที (TS 7)

ผลลัพธ์เหล่านี้แสดงให้เห็นว่า Go‑based compiler สามารถจัดการกับโค้ดฐานขนาดใหญ่ได้อย่างรวดเร็ว ทำให้ทีมพัฒนาไม่จำเป็นต้องย้ายกระบวนการตรวจสอบประเภทไปยังเซิร์ฟเวอร์ CI อย่างที่ Slack เคยทำในอดีต

Rationale for Choosing Go

ทำไมทีม Microsoft จึงเลือก Go แทน C# หรือ Rust ที่เคยได้รับความนิยม? ตามคำกล่าวของ Anders Hejlsberg, ผู้ร่วมสร้าง TypeScript, “Go เป็นภาษาที่อยู่ระดับต่ำที่สุดที่ยังคงให้การสนับสนุนโค้ด native บนทุกแพลตฟอร์มได้อย่างครบถ้วน” นอกจากนี้ Go มีคุณสมบัติด้านการทำงานพร้อมกัน (concurrency) ที่แข็งแกร่ง ทำให้สามารถใช้ shared memory เพื่อเร่งกระบวนการตรวจสอบประเภทได้

ทีมพัฒนาอีกฝ่ายหนึ่งโดย Ryan Cavanaugh ระบุว่าโครงสร้างไวยากรณ์ของ Go มีความคล้ายคลึงกับ JavaScript มากที่สุด ซึ่งทำให้การปรับย้ายและบำรุงรักษาโค้ดเก่าที่ยังคงใช้ JavaScript Server สามารถทำได้ง่ายกว่า นอกจากนี้ Go ยังมีระบบจัดสรรหน่วยความจำที่มีประสิทธิภาพและสามารถปิดการทำงานของ garbage collector ที่ช้าในกรณีส่วนใหญ่ของการคอมไพล์

Industry Impact

การเปิดตัว TypeScript 7.0 มีผลกระทบต่อวงการพัฒนาเว็บอย่างกว้างขวาง นักพัฒนาที่เคยประสบปัญหาเรื่องความล่าช้าของ Language Server เช่นทีม Slack จะสามารถทำการตรวจสอบประเภทแบบเต็มรูปแบบได้ในเครื่องของตนเองโดยไม่ต้องรอคอยผลจาก CI อีกต่อไป การลดระยะเวลาเปิดไฟล์และเรียกใช้ฟีเจอร์ช่วยให้วงจรพัฒนาเร็วขึ้น ส่งผลให้ความถี่ของการทำ iterating (iteration) เพิ่มขึ้นและคุณภาพโค้ดดีขึ้น

นอกจากนี้ ความสำเร็จของ Go ในการเขียนคอมไพเลอร์ระดับสูงอาจกระตุ้นให้โปรเจกต์โอเพ่นซอร์สอื่น ๆ พิจารณาใช้ Go เป็นฐานสำหรับเครื่องมือที่ต้องการประสิทธิภาพและความสามารถด้าน concurrency อย่างเช่นระบบ build, static analysis และแม้แต่ AI‑assisted code agents ที่กำลังเติบโตในตลาด

Summary

TypeScript 7.0 เปิดตัวคอมไพเลอร์ใหม่ที่เขียนด้วย Go ทำให้การตรวจสอบประเภทเร็วขึ้นถึง 8‑12 เท่าและลดระยะเวลา build ของโครงการขนาดใหญ่ลงเป็นหลักสิบเท่า การเลือก Go เน้นที่ความสามารถด้าน native code, concurrency และความคล้ายคลึงกับ JavaScript ส่งผลให้วงการพัฒนาเว็บได้รับประโยชน์จากเครื่องมือที่เร็วและเสถียรยิ่งขึ้น.