استنباط نوع (به انگلیسی: type inference) به تشخیص خودکار نوع یک عبارت در یک زبان صوری اشاره دارد. این زبان‌های صوری هم شامل زبان‌های برنامه‌نویسی است، و هم شامل سامانه‌های نوع ریاضی است، اما در زبان‌های طبیعی در بعضی از رشته‌های علوم رایانه و زبان‌شناسی هم استنتاج نوع انجام می‌گیرد.
 | این یک مقالهٔ خرد علوم رایانه است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
