منو
 کاربر Online
544 کاربر online

رابط نوع

تازه کردن چاپ
علوم ریاضی > علو م رایانه > نرم افزار
علوم ریاضی > علو م رایانه > برنامه های کامپیوتری
(cached)




img/daneshnameh_up/9/9d/robot.jpg

رابط نوع


رابط نوع یک ویژگی بسیار مهم در زبان های برنامه نویسی تابعی همچون ML و Haskell می باشد.
رابط نوع به صورت خودکار یک امضای نوعی به توابع، در صورتی که خود فاقد آن باشند اضافه می کند. امضاء نوع با توجه به برداشت مفسر از زیرتابع های یک تابع با امضاهای نوعی دیگر ساخته می شود. و به این ترتیب نوع ورودی / خروجی تعیین می شود.
برای مثال، به تابع length از زبان تابعی Haskell که به صورت زیر تعریف می شود می پردازیم:
length = 0
length (first : rest ) = 1 + length rest
از عبارات فوق چنین برمی آید که تابع لیست هایی را به عنوان ورودی می پذیرد و نیز این تابع بازگشتی، مقادیر صحیح را باز می گرداند. بنابراین می توان امضاء نوعی این تابع را به صورت زیر بیان نمود:
length : : a -> Int
از آنجایی که هیچ زیر تابع چند شکلی خاصی در تعریف این تابع وجود ندارد می توانیم تابع را به گونه ای تعریف کنیم که از لحاظ پارامتری به صورت چند شکلی باشد.


پیوندهای خارجی


همچنین ببینید



تعداد بازدید ها: 6681


ارسال توضیح جدید
الزامی
big grin confused جالب cry eek evil فریاد اخم خبر lol عصبانی mr green خنثی سوال razz redface rolleyes غمگین smile surprised twisted چشمک arrow



از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..