الأنواع العامّة

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

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

أما | undefined فلم توضع للزينة، لأن المصفوفة الفارغة ليس فيها عنصر أول، وهذا النوع يُلزم من يستدعي الدالة بأن يتعامل مع هذه الحالة.