- | __ رابط نوع __یک ویژگی بسیار مهم در ((زبان های برنامه نویسی تابعی)) همچون ((ML)) و ((Haskell)) می باشد. رابط نوع به صورت خودکار یک ((امضای نوع))ی به توابع، در صورتی که خود فاقد آن باشند اضافه می کند. امضاء نوع با توجه به برداشت ((مفسر)) از زیرتابع های یک تابع با امضاهای نوعی دیگر ساخته می شود. و به این ترتیب نوع ورودی / خروجی تعیین می شود. |
+ | ||V{maketoc}|| ^@#16:
{picture=img/daneshnameh_up/9/9d/robot.jpg} |
!رابط نوع
{*__ رابط نوع __یک ویژگی بسیار مهم در ((زبان های برنامه نویسی تابعی)) همچون ((ML)) و ((زبان برنامه نویسی Haskell|Haskell)) می باشد. رابط نوع به صورت خودکار یک امضای نوعی به توابع، در صورتی که خود فاقد آن باشند اضافه می کند. امضاء نوع با توجه به برداشت ((مفسر)) از زیرتابع های یک تابع با امضاهای نوعی دیگر ساخته می شود. و به این ترتیب نوع ورودی / خروجی تعیین می شود. |
| برای مثال، به تابع length از زبان تابعی Haskell که به صورت زیر تعریف می شود می پردازیم: | | برای مثال، به تابع length از زبان تابعی Haskell که به صورت زیر تعریف می شود می پردازیم: |
| length (first : rest ) = 1 + length rest | | length (first : rest ) = 1 + length rest |
| از عبارات فوق چنین برمی آید که تابع لیست هایی را به عنوان ورودی می پذیرد و نیز این تابع بازگشتی، مقادیر صحیح را باز می گرداند. بنابراین می توان امضاء نوعی این تابع را به صورت زیر بیان نمود: | | از عبارات فوق چنین برمی آید که تابع لیست هایی را به عنوان ورودی می پذیرد و نیز این تابع بازگشتی، مقادیر صحیح را باز می گرداند. بنابراین می توان امضاء نوعی این تابع را به صورت زیر بیان نمود: |