الأنواع الحرفية

يمكن أن تكون القيمة نفسها نوعًا، فالنوع "md" لا يقبل إلا النصّ "md"، وهذا ما يسمّى النوع الحرفي (literal type). والاتحاد بين عدّة قيم مثل "sm" | "md" | "lg" يصف مجموعة محدّدة من القيم لا يقبل غيرها، وهو ما تُستعمل له enum في لغات أخرى، ويُحذف عند الترجمة فلا يضيف أيّ كود.

وفائدته أنّ الخطأ الإملائي يصبح خطأً في الأنواع، فـpadding("xl") يُرجع الآن 16 دون أيّ تحذير، لأنّ return 16 الأخيرة تلتقط كل قيمة غير "sm" و"md"، أمّا بعد تحديد النوع فسيُرفض قبل التشغيل.

وانتبه إلى اتّساع النوع الذي رأيته في درس الاستنتاج، فنوع let preferred = "lg" هو string لا "lg"، فلا يُقبل حيث يُطلب Size، والحلّ أن تستعمل const، أو تكتب نوع المتغيّر صراحةً: let preferred: Size = "lg".