العموميات

دالة تُرجع أول عنصر من مصفوفة: ما نوع ناتجها؟ لو كتبت any خسرت كل شيء — المترجم لا يعرف بعدها أن أول عنصر من string[] نصّ.

العموميات تجعل النوع مُعاملًا: function first<T>(xs: T[]): T | undefined. تمرّر مصفوفة نصوص فيصير T نصًّا تلقائيًّا، وتمرّر أرقامًا فيصير رقمًا.

و| undefined ليست زينة: المصفوفة الفارغة ليس لها أوّل، والنوع يُجبر من يستدعي على التعامل مع ذلك.