در ، معمولاً به صورت محاوره‌ای به دو نوع، بر اساس آنکه «سیستم نوع زبان» یا (به : )،و یا (به : ) ( (به : )) باشد، طبقه‌بندی می‌شود. 
 معمولاً یک زبان نوع‌دار نیرومند، دارای قواعد نوع دهی سختگیرانه‌تری در می‌باشند که به معنی ضمنی آن است که خطاها و استثناها به احتمال بیشتر در مدت کامپایل رخ می‌دهند. (که در آن بررسی نوع در رخ می‌دهد) نیز می‌توانند نوع دهی نیرومند باشند. بیشتر این قواعد روی انتساب متغیرها تأثیر می‌گذارند، همچنین قواعد می‌توانند روی مقادیر برگردانده شده و فراخوانی تابع تأثیر بگذارند. 
 یک زبان نوع دهی کم‌زور قواعد نوع دهی سست‌تری دارد، و می‌تواند نتایج غیرقابل پیش‌بینی ایجاد کند، یا می‌تواند تبدیل نوع ضمنی در زمان اجرا انجام دهد. یک مفهوم مرتبط اما متفاوت « » است. 
 در ۱۹۷۴، لیسکو (به : ) و زایلز (به : ) یک زبان وابسته زیاد به نوع را تعریف کردند به این عنوان که «هر گاه یک شیء از فراخوانی یک تابع به تابع صدا زده شده عبور کرد، نوعش باید سازگار با نوع تعریف‌شده در تابع صدا زده شده باشد.» 
جکسون در اینباره نوشته‌است، «در یک زبان وابسته زیاد به نوع ناحیه هر داده یک نوع متفاوت دارد و هر فرایند الزامات ارتباطش را به شروط این نوع‌ها توضیح می‌دهد.» 
 تصمیم‌گیری‌های طراحی زبان، به شواهدی و مدارکی از نوع دهی «نیروند» یا «کم‌زور» رجوع می‌کنند. در واقع خیلی از این تصمیم‌ها به صورت دقیق‌تر به صورت وجود یا فقدان « »، « »، « » یا « » باید رجوع شوند.
 «نوع دهی نیروند» معمولاً به استفاده از «انواع» زبان‌های برنامه‌نویسی برای اخذ «نامتغیر» های کد، و اطمینان از صحت آنها، و بیرون سازی قطعی کلاس‌های مشخص و خطاهای برنامه‌نویسی ارجاع دارد؛ بنابراین برای دستیابی به این اهداف، نظام‌های «نوع‌دهی نیرومند» زیادی وجود دارد.
{"title": "نوع‌دهی قوی و ضعیف", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%86%D9%88%D8%B9%E2%80%8C%D8%AF%D9%87%DB%8C_%D9%82%D9%88%DB%8C_%D9%88_%D8%B6%D8%B9%DB%8C%D9%81&oldid=33780908", "language": "fa"}