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