عرض مصطلح معلوماتية

تدقيق النوع | type checking
إجرائيةٌ يقوم بها مصرِّفٌ compiler (أو مفسّرٌ interpreter) في عمليات برنامجٍ للتحقّق من أن الأنواعَ المستعملةَ هي الأنواعُ الصحيحة.