استنباط نوع
| سیستم نوعها |
|---|
| مفاهیم کلی |
| طبقه های اصلی |
| طبقه های جزیی |
| جستارهای وابسته |
استنباط نوع (به انگلیسی: type inference) به تشخیص خودکار نوع یک عبارت در یک زبان صوری اشاره دارد. این زبانهای صوری هم شامل زبانهای برنامهنویسی است، و هم شامل سامانههای نوع ریاضی است، اما در زبانهای طبیعی در بعضی از رشتههای علوم رایانه و زبانشناسی هم استنتاج نوع انجام میگیرد.
 | این یک مقالهٔ خرد علوم رایانه است. میتوانید با گسترش آن به ویکیپدیا کمک کنید. |