›การจำกัดประเภท (Type Narrowing) คืออะไรและคอมไพเลอร์ทำอย่างไรMiddle#Type Narrowing#Typesรายละเอียด →
›ประเภท never คืออะไร และมันช่วยให้ exhaustiveness checks ทำงานได้อย่างไร?Middle#Types#Type Narrowingรายละเอียด →
›ตัวดำเนินการ non-null assertion (!) คืออะไร และเหมาะสมที่จะใช้เมื่อไรMiddle#Type Narrowing#Typesรายละเอียด →
