چرا نوعها؟ تایپاسکریپت، کامپایلر و طرزِ فکرِ آن
حاشیهنویسیِ نوع و نوعهای روزمره
اشیاء، اینترفیسها در برابرِ type-aliasها
یونیونها، اینترسکشنها، literalها و as const / satisfies
enum در برابرِ یونیونِ literal
★ توابع بهصورتِ عمیق: overload، this و پارامترهای rest
★ باریکسازی، تحلیلِ جریانِ کنترل و گاردهای نوع
★ یونیونهای تفکیکشده و جامعیت با never
★ جنریکها (۱): توابع، قید، استنتاج و پیشفرض
★ جنریکها (۲): اینترفیسها، کلاسها و ساختارهای دادهی نوعدار
★ keyof، typeof و دسترسیِ اندیسی
★ تایپهای کاربردی: استفاده و بازنویسی از صفر
★ تایپهای نگاشتی (mapped types)
★ تایپهای شرطی و infer
★ تایپهای قالبرشتهای (template-literal types)
★ unknown، any، never و ایمنیِ سختگیرانه در برابرِ null
خطاهای نوعدار و نوعِ Result
★ کلاسها و شیءگراییِ تایپاسکریپت
async نوعدار: Promiseها، async/await و Awaited
ماژولها، import type و namespace (مفهومی + اجرا با namespace)
سختگیری و tsconfig (مفهومی)
اصطلاحات و دامها: any-خزی، as ناامن، تایپِ ساختاری
★ پروژهی پایانیِ زمانِاجرا: ردیابِ وظایفِ نوعدار
★ پروژهی پایانیِ سطحِنوع: باشگاهِ نوع