امضای نوع
From Wikipedia, the free encyclopedia
در علوم رایانه، یک امضای نوع (به انگلیسی: type signature) یا یک تفسیر نوع (به انگلیسی: type annotation) ورودی ها و خروجی ها را برای یک تابع، زیرروال، یا اسلوب تعریف میکند. یک امضای نوع شامل تعداد، انواع، و ترتیب آرگومانهای موجود در یک تابع است. یک امضای نوع معمولاً در زمان «تفکیک سربار» (چندریختی)، برای انتخاب تعریف درست یک تابع، که در میان چندین «فرم سربار شده» صدا زده میشود، استفاده میشود.[1]