TypeScript ที่น่าประหลาดใจว่ามันเหมาะกับการทำคอมไพเลอร์

 (matklad.github.io)
8 คะแนน โดย GN⁺ 2023-08-20 | 1 ความคิดเห็น | แชร์ทาง WhatsApp
  • กล่าวถึงการสร้างคอมไพเลอร์ด้วย TypeScript และเน้นย้ำว่ามันให้ผลลัพธ์ที่มีประสิทธิภาพเกินคาด
  • ในอดีต OCaml มักถูกใช้กับงานที่เน้นตัวภาษา เช่น สเปกอย่างเป็นทางการหรือภาษางานอดิเรก ขณะที่ C++ เป็นตัวเลือกสำหรับการนำไปใช้จริงในระดับพร้อมใช้งานจริง
  • Rust เป็นตัวเลือกใหม่ที่ผสานข้อดีของ ML และ C++ พร้อมเพิ่มความสามารถของตัวเอง เช่น การทำงานหลายเธรดอย่างปลอดภัย
  • ผู้เขียนเสนอ TypeScript เป็นทางเลือกเชิงปฏิบัติสำหรับผู้ที่ทำโปรเจกต์งานอดิเรก เนื่องจากส่วนที่หลายคนมองว่า OCaml ค่อนข้างล้าสมัย
  • ผู้เขียนเริ่มจาก Deno แล้วสาธิตวิธีเขียน type checker ขนาดเล็กด้วย TypeScript โดย Deno มอบประสบการณ์พร้อมใช้ทันทีในฐานะรันไทม์สำหรับ TypeScript
  • บทความเน้นระบบชนิดที่ยืดหยุ่นและค่อนข้างเบาของ TypeScript และผู้เขียนแสดงวิธีกำหนด Abstract Syntax Tree (AST) ใน TypeScript
  • ผู้เขียนสาธิตวิธีกำหนด expression การจัดการข้อมูลชนิดในรันไทม์ และการทำ abstraction สำหรับ expression ที่คล้ายกันด้วยความสามารถของ TypeScript
  • จากนั้นผู้เขียนขยับไปสู่ type inference โดยแสดงวิธีกำหนดชนิด เปรียบเทียบชนิด และอนุมานชนิดใน TypeScript
  • ช่วงท้ายผู้เขียนชื่นชมประสิทธิภาพการพัฒนาจากเวิร์กโฟลว์ของ Deno เครื่องมือที่ยอดเยี่ยมของ TypeScript และพลังของภาษาทั้งในช่วงรันไทม์และคอมไพล์ไทม์
  • ผู้เขียนเสนอว่าในอนาคตมีแนวโน้มจะใช้ TypeScript เป็นเครื่องมือสำหรับการทดลองสร้างภาษาเล็ก ๆ
  • บทความปิดท้ายด้วยการสาธิตวิธีแสดง desugaring แบบ type-safe ใน TypeScript

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2023-08-20
ความคิดเห็นจาก Hacker News
  • TypeScript ได้รับคำชมในเรื่องการผสมผสานระหว่างการเขียนโปรแกรมเชิงวัตถุและเชิงฟังก์ชัน ทำให้เขียนโค้ดได้ยืดหยุ่นโดยไม่จำเป็นต้องนิยามคลาส
  • ความสามารถของฟังก์ชันในภาษาที่สามารถมีพร็อพเพอร์ตีและเมธอดได้ ถูกเน้นว่าเป็นคุณลักษณะเฉพาะและมีคุณค่า
  • TypeScript ถูกนำไปเปรียบเทียบกับภาษาอื่น ๆ เช่น OCaml, C#, Swift, Dart และ Kotlin โดยชี้ว่าความแตกต่างสำคัญคือ TypeScript ยังขาด pattern matching ที่แท้จริง
  • ผู้ใช้บางส่วนต้องการให้ TypeScript มีฟีเจอร์ tagged enum ที่คล้ายกับของ Rust
  • มีการพูดคุยเกี่ยวกับความเร็วของคอมไพเลอร์ TypeScript และการคาดเดาว่ามันจะทำงานอย่างไรหากเขียนด้วยภาษาคอมไพล์
  • ผู้ใช้เสนอให้ใช้ฟังก์ชันยูทิลิตี run เพื่อหลีกเลี่ยง visitor pattern ด้วยสไตล์สวิตช์แบบ IIFE
  • โพสต์กล่าวถึงการใช้งาน Ohm-js ซึ่งเป็น frontend สำหรับ parser generator และ mini-typescript ที่ช่วยให้เข้าใจวิธีการทำงานของ TypeScript ได้ดีขึ้น
  • มีการแสดงความประหลาดใจต่อประสิทธิภาพของ TypeScript แม้จะรับรู้ว่าการใช้อินเทอร์เฟซมีโอเวอร์เฮดอยู่บ้าง
  • มีการชี้ว่า TypeScript compiler ถูกเขียนขึ้นด้วย TypeScript เอง ซึ่งตอกย้ำถึงความน่าเชื่อถือและการใช้งานอย่างหนักในงานจริง
  • ผู้ใช้บางส่วนกำลังรอฟีเจอร์ closed enum ใน TypeScript สำหรับการตรวจสอบความครบถ้วนในเวลา compile
  • อิทธิพลของ Anders Hejlsberg ซึ่งเป็นสถาปนิกหลักของ TypeScript ถูกยอมรับว่าเป็นเหตุผลหนึ่งของความสำเร็จของภาษา