منو
 کاربر Online
876 کاربر online
تاریخچه ی: رابط نوع

تفاوت با نگارش: 2

Lines: 1-14Lines: 1-30
-__ رابط نوع __یک ویژگی بسیار مهم در ((زبان های برنامه نویسی تابعی)) همچون ((ML)) و ((Haskell)) می باشد.
رابط نوع به صورت خودکار یک ((امضای نوع))ی به توابع، در صورتی که خود فاقد آن باشند اضافه می کند. امضاء نوع با توجه به برداشت ((مفسر)) از زیرتابع های یک تابع با امضاهای نوعی دیگر ساخته می شود. و به این ترتیب نوع ورودی / خروجی تعیین می شود.
+||V{maketoc}||
^@#16:




{picture=img/daneshnameh_up/9/9d/robot.jpg}

!رابط نوع

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

از آنجایی که هیچ زیر تابع ((چند شکلی خاص))ی در تعریف این تابع وجود ندارد می توانیم تابع را به گونه ای تعریف کنیم که از لحاظ پارامتری به صورت چند شکلی باشد.
+length : : [a] -> Int
 +از آنجایی که هیچ زیر تابع چند شکلی خاصی در تعریف این تابع وجود ندارد می توانیم تابع را به گونه ای تعریف کنیم که از لحاظ پارامتری به صورت چند شکلی باشد.*}
 +---
 +!پیوندهای خارجی
 +*[http://en.wikipedia.org/wiki/Type_signature ]
 +---
 +!همچنین ببینید
 +*((فهرست زبان های برنامه نویسی))
 +*((برنامه نویسی تابعی))
 +#@^

تاریخ شماره نسخه کاربر توضیح اقدام
 پنج شنبه 25 آبان 1385 [10:51 ]   6   زینب معزی      جاری 
 شنبه 13 آبان 1385 [11:30 ]   5   زینب معزی      v  c  d  s 
 چهارشنبه 29 شهریور 1385 [13:08 ]   4   سعید صدری      v  c  d  s 
 چهارشنبه 05 اسفند 1383 [07:41 ]   3   نفیسه ناجی      v  c  d  s 
 چهارشنبه 05 اسفند 1383 [07:35 ]   2   نفیسه ناجی      v  c  d  s 
 شنبه 25 مهر 1383 [10:49 ]   1   حمید حسن نیا      v  c  d  s 


ارسال توضیح جدید
الزامی
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 در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..