متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: تایپ‌سیستم (انگلیسی: type system) یا سیستم نوع مجموعه‌ای از قوانین است که ویژگی «نوع» را به مفاهیم مختلف یک‌زبان برنامه‌نویسی، مانند متغیرها، رویه‌ها و عبارات، نسبت می‌دهد. هر زبان برنامه‌نویسی دارای تعدادی نوع است که داده ساختارهای مختلف مورد استفاده در برنامه‌ها را دسته‌بندی می‌کنند. 
موضوع:
نوع‌دهی پویا