استنتاج الأنواع

لا تحتاج أن تصف كل متغيّر. من let total = 0 يعرف المترجم أن total رقم، ويرفض بعدها أن تُسند إليه نصًّا. هذا الاستنتاج، وهو يكفي في أغلب الكود.

والتوصيف الزائد ليس محايدًا: const cart: object = { items: 3 } يمحو ما عرفه المترجم عن الكائن، فيصير cart.items خطأ أنواع. صِف حيث لا يملك المترجم ما يستنتج منه، وأوّل ذلك مُعاملات الدوال.

وانتبه إلى الفرق بين const وlet: const unit = "kg" نوعها الحرفي "kg" لأنها لن تتغيّر، أما let unit = "kg" فيتّسع نوعها إلى string لأنها قد تتغيّر.