DSL ระดับชนิดข้อมูลคืออะไร
ใช้ชนิดข้อมูลเพื่อจำกัด API แบบต่อเนื่องให้สร้างโปรแกรมที่ถูกต้องได้
DSL ระดับชนิดข้อมูลคืออะไร เป็นบทเรียน TypeScript Academy ฟรีบน CoddyKit นี่คือบทเรียนที่ 1 จากทั้งหมด 4 บทเรียน คุณสามารถอ่านบทเรียนทั้งหมดด้านล่างฟรี — จากนั้นลองปฏิบัติด้วยตัวคุณเองในเบราว์เซอร์พร้อมตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7 บทเรียนนี้เป็นส่วนหนึ่งของเส้นทางการเรียน TypeScript Academy และความก้าวหน้าของคุณจะซิงค์ข้ามเว็บและแอป CoddyKit คอร์ส TypeScript Academy มีบทเรียนทั้งหมด 4 บทเรียน
DSL ระดับชนิดคืออะไร
DSL ระดับชนิด (ภาษาสำหรับโดเมนเฉพาะ) ใช้ชนิดของ TypeScript เพื่อจำกัดเอพีไอ ทำให้มีเพียง โปรแกรมที่ถูกต้องเท่านั้นที่คอมไพล์ได้ ชนิดต่าง ๆ ทำหน้าที่เป็นไวยากรณ์ โดยปฏิเสธการผสมผสานที่ไม่ถูกต้องก่อนที่โค้ดจะเริ่มทำงาน
DSL แบบฝังตัว
DSL แบบ ฝังตัว อยู่ภายในภาษาหลัก (ในที่นี้คือ TypeScript) แทนที่จะมีตัวแยกวิเคราะห์แยกต่างหาก คุณเขียน TS ตามปกติ แต่ระบบชนิดจะบังคับใช้กฎของ DSL
ตัวอย่างที่คุ้นเคย
คุณเคยใช้ DSL ระดับชนิดมาแล้ว เช่น ตัวสร้างคำสั่งสืบค้นที่อนุญาตเฉพาะชื่อคอลัมน์ที่ถูกต้อง หรือเราเตอร์ที่อนุมานพารามิเตอร์จากเส้นทาง ชนิดต่าง ๆ จะเข้ารหัสสิ่งที่เอพีไออนุญาต
การจำกัดเอพีไอแบบต่อเนื่อง
แนวคิดหลักคือ เมธอดแต่ละเมธอดจะคืนชนิดที่จำกัดว่าเมธอดใดบ้างที่คุณเรียกได้ ถัดไป การเรียกสิ่งต่าง ๆ ผิดลำดับจะทำให้คอมไพล์ไม่ผ่าน
interface Empty { from(t: string): HasFrom; }
interface HasFrom { where(c: string): HasFrom; select(): string; }
declare const q: Empty;
q.from("users").select(); // ok
q.select(); // Error: select not on Emptyเครื่องจักรสถานะในชนิด
รูปแบบนี้คือ เครื่องจักรสถานะระดับชนิด โดยอินเทอร์เฟซแต่ละรายการคือสถานะ และเมธอดแต่ละรายการคือการเปลี่ยนไปยังสถานะอื่น คอมไพเลอร์จะเดินไปตามเครื่องจักรขณะที่คุณต่อการเรียกเมธอด
เหตุใดจึงไม่ตรวจสอบขณะทำงานอย่างเดียว
การตรวจสอบขณะทำงานจะล้มเหลวช้า ในระบบจริง และในขณะที่ผู้ใช้กำลังใช้งาน ส่วน DSL ระดับชนิดจะล้มเหลว ตั้งแต่เนิ่น ๆ ในตัวแก้ไข พร้อมเส้นหยักสีแดง ก่อนที่โค้ดจะถูกส่งมอบ กฎเหมือนเดิม แต่ได้รับผลตอบกลับในต้นทุนที่ต่ำกว่ามาก
พารามิเตอร์ชนิดเสมือน
DSL มักเก็บข้อมูลไว้ในพารามิเตอร์ชนิด เสมือน ซึ่งเป็นเจเนอริกที่มีอยู่เฉพาะขณะคอมไพล์ เพื่อใช้ติดตามสถานะที่สะสม (คอลัมน์ที่เลือกและตัวแปรที่ผูกไว้) โดยไม่เพิ่มต้นทุนขณะทำงาน
interface Query<Selected extends string> {
select<C extends string>(c: C): Query<Selected | C>;
}ชนิดลิเทอรัลในฐานะโทเค็น
ชนิดลิเทอรัล ของสตริงทำหน้าที่เป็นโทเค็นของ DSL เมื่อใช้ร่วมกับลิเทอรัลแม่แบบและยูเนียน ชนิดเหล่านี้ช่วยให้ระบบชนิดวิเคราะห์เนื้อหาที่เป็นข้อความของ DSL ได้
type Direction = "asc" | "desc";
declare function orderBy(col: string, dir: Direction): void;
orderBy("age", "asc"); // ok
orderBy("age", "up"); // Error: not a Directionองค์ประกอบพื้นฐาน
DSL ระดับชนิดประกอบด้วย เจเนอริกสำหรับสถานะ ชนิดแบบมีเงื่อนไขสำหรับการแยกแขนง ลิเทอรัลแม่แบบสำหรับแยกวิเคราะห์สตริง และชนิดแบบแมปสำหรับแปลงรูปแบบ บทเรียนถัดไปจะใช้แต่ละองค์ประกอบเหล่านี้
ข้อแลกเปลี่ยน
DSL ระดับชนิดให้การรับประกันที่เข้มแข็ง แต่หากใช้มากเกินไปก็อาจสร้างข้อผิดพลาดที่เข้าใจยากและทำให้คอมไพล์ช้าลง DSL ที่ดีจะสร้างสมดุลระหว่างความปลอดภัยกับข้อความข้อผิดพลาดที่อ่านเข้าใจง่าย (บทเรียนถัดไปจะกล่าวถึงเรื่องนี้)
เหตุใดเรื่องนี้จึงสำคัญ
การเข้ารหัสกฎของโดเมนไว้ในชนิดทำให้คอมไพเลอร์กลายเป็นผู้เชี่ยวชาญของโดเมน โดยปฏิเสธสิ่งที่ไม่สมเหตุสมผลโดยอัตโนมัติ นี่คือวิธีที่ตัวสร้างคำสั่งสืบค้น ไลบรารีแบบฟอร์ม และระบบผลข้างเคียงมอบการรับประกันที่เข้มแข็งเช่นนี้
ตรวจสอบอย่างรวดเร็ว
ทดสอบความเข้าใจเกี่ยวกับ DSL ระดับชนิด
สรุปทบทวน
DSL ระดับชนิดใช้ชนิดของ TypeScript เป็น ไวยากรณ์ เพื่อให้มีเพียงโปรแกรมที่ถูกต้องเท่านั้นที่คอมไพล์ได้ เอพีไอแบบต่อเนื่องจำลองเครื่องจักรสถานะ โดยเมธอดแต่ละเมธอดจะคืนชนิดที่จำกัดสถานะ และใช้เจเนอริกเสมือน โทเค็นชนิดลิเทอรัล ชนิดแบบมีเงื่อนไข ลิเทอรัลแม่แบบ และชนิดแบบแมปเป็นองค์ประกอบพื้นฐาน จึงให้ผลตอบกลับตั้งแต่เนิ่น ๆ ในตัวแก้ไข
คำถามที่พบบ่อย
บทเรียน “DSL ระดับชนิดข้อมูลคืออะไร” ฟรีหรือไม่
ใช่ — ข้อความเต็มของ “DSL ระดับชนิดข้อมูลคืออะไร” ฟรีให้อ่านที่นี่บนเว็บ เพื่อปฏิบัติแบบโต้ตอบ (ตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7) และปลดล็อคส่วนที่เหลือของคอร์ส TypeScript Academy ให้อัปเกรดเป็น CoddyKit PRO คอร์ส TypeScript Academy มีบทเรียนทั้งหมด 4 บทเรียน
คุณจะเรียนรู้อะไรในบทเรียน “DSL ระดับชนิดข้อมูลคืออะไร”
ใช้ชนิดข้อมูลเพื่อจำกัด API แบบต่อเนื่องให้สร้างโปรแกรมที่ถูกต้องได้ คุณปฏิบัติ TypeScript Academy ด้วยโค้ดที่ใช้งานได้จริงที่คุณเรียกใช้โดยตรงในเบราว์เซอร์ และติวเตอร์ AI ตลอด 24/7 ตอบคำถามของคุณขณะที่คุณไปผ่านบทเรียน
คุณต้องมีประสบการณ์ก่อนที่จะเริ่มเรียน TypeScript Academy หรือไม่
ไม่จำเป็นต้องมีประสบการณ์มาก่อน TypeScript Academy บน CoddyKit ออกแบบมาสำหรับผู้เริ่มต้นไปจนถึงผู้เรียนขั้นสูง คุณสามารถเริ่มต้นที่นี่หรือเริ่มจากตัวแรกและเรียนด้วยความเร็วของคุณเอง นี่คือบทเรียนที่ 1 จากทั้งหมด 4 บทเรียน
บทเรียน “DSL ระดับชนิดข้อมูลคืออะไร” ใช้เวลานานแค่ไหน
บทเรียน CoddyKit ส่วนใหญ่ใช้เวลาประมาณ 5–10 นาที แต่ละบทเรียนจึงสั้นและเป็นแบบโต้ตอบ คุณสามารถก้าวหน้าอย่างต่อเนื่องและกลับมาเรียนต่อจากตรงที่เพิ่งหยุดบนเว็บและแอปได้เลย
ฉันเขียนและรันโค้ดในบทเรียน TypeScript Academy นี้ได้ไหม
ได้ บทเรียน TypeScript Academy ทุกบทมีตัวแก้ไขโค้ดในตัว คุณจึงเขียนและรันโค้ดจริงได้เลยในเบราว์เซอร์ และได้รับข้อเสนอแนะจาก AI ในทันที — ไม่ต้องติดตั้งในเครื่องของคุณ
บทเรียนทั้งหมดในหลักสูตรนี้
- DSL ระดับชนิดข้อมูลคืออะไร
- การออกแบบ DSL สำหรับการสืบค้นแบบต่อเนื่อง
- การตรวจสอบ input เวลาคอมไพล์
- ข้อความข้อผิดพลาดใน DSL ระดับชนิดข้อมูล