چه زمانی در تایپ اسکریپت تایپ‌ها را صریحا تعریف کنیم؟