منو
 صفحه های تصادفی
یکریختی
اوگوستن ژان فرنل
موقعیت تکتونیکی ماسه سنگ
کاربرد راکتورهای هسته ای
جانور گیاهخوار
علی محور سنگ آسیای خلافت
جسم رسانا
چشم انداز ترمودینامیک
شگفتیهای ماه
لشکرکشی محمود به هند- نبرد بهاطیه
 کاربر Online
819 کاربر online
تاریخچه ی: ML

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

Lines: 1-21Lines: 1-25
 ||V{maketoc}|| ||V{maketoc}||
 ^@#16: ^@#16:
 !مقدمه !مقدمه
-__ML__ یک ((زبان برنامه نویسی تابعی)) است که به وسیله ی ((رابین میلنر)) و دیگران در اواخر دهه ی 1970 در دانشگاه ((ادین برگ)) گسترش یافت، قواعد نحوی آن الهام شده از ((ISWIM)) است. از لحاظ تاریخی، ML سمبل یک فوق زبان است چون تصور شده که تاکتیک های آزموده در ((ثابت کننده نظریه LCF)) را توسعه داده است (زبانی که ML فوق زبان آن بود ''pplambda'' است، یک ترکیبی از ((حساب نسبی مرتبه اول)) و (( حساب lambda چند ریختی نوع دار)). 
-ML گاهی زبان تابعی __غیر کامل__ نامیده می شود، چون امکان ((برنامه نویسی آمرانه)) را می دهد و بنابراین ((اثرات جانبی)) بر خلاف زبان های برنامه نویسی تابعی مانند ((Haskell)) در آن وجود دارد.  
-ویژگی های ML شامل استراتژی ارزیابی ((فراخوانی با مقدار))، ((توابع)) کلاس اول، مدیریت حافظه اتوماتیک در حین ((جمع آوری زباله))، ((چند ریختی)) پارامتری، ((نوع دهی)) استاتیک، ((استنباط نوعی))،((نوع داده ای جبری))،((تطابق الگو)) و ((مدیریت استثنا)) می باشد. این ترکیب ویژه از مفاهیم امکان تولید یکی از بهترین کامپایلرهای موجود را می دهد ]. +{*__ML__ یک ((زبان برنامه نویسی تابعی)) است که به وسیله ی ((رابین میلنر)) و دیگران در اواخر دهه ی 1970 در دانشگاه ((ادین برگ)) گسترش یافت، قواعد نحوی آن الهام شده از ((ISWIM)) است. از لحاظ تاریخی، ML سمبل یک فوق زبان است چون تصور شده که تاکتیک های آزموده در ((ثابت کننده نظریه LCF)) را توسعه داده است (زبانی که ML فوق زبان آن بود ''pplambda'' است، یک ترکیبی از ((حساب نسبی مرتبه اول)) و حساب lambda چند ریختی نوع دار.
ML گاهی زبان تابعی __غیر کامل__ نامیده می شود، چون امکان ((برنامه نویسی آمرانه)) را می دهد و بنابراین ((اثرات جانبی)) بر خلاف زبان های برنامه نویسی تابعی مانند ((زبان برنامه نویسی Haskell|Haskell)) در آن وجود دارد.

ویژگی های ML شامل استراتژی ارزیابی ((فراخوانی با مقدار))، توابع کلاس اول، مدیریت حافظه اتوماتیک در حین ((جمع آوری زباله))، ((چند ریختی)) پارامتری، ((نوع دهی)) استاتیک، ((استنباط نوعی))،((نوع داده ای جبری))،((تطابق الگو)) و ((مدیریت استثنا)) می باشد. این ترکیب ویژه از مفاهیم امکان تولید یکی از بهترین کامپایلرهای موجود را می دهد ].
 امروزه زبان های مختلفی در خانواده ی ML وجود دارد؛ معروف ترین آن ((SML)) است (ML استاندارد) و Objective Caml). نظرات ML روی زبان های دیگر، به ویژه آنهایی که در دانشگاه ها طراحی شده اند تاثیر گذاشت. نمونه های آن شامل ((Cyclone)) و ((Nemerle)) است. امروزه زبان های مختلفی در خانواده ی ML وجود دارد؛ معروف ترین آن ((SML)) است (ML استاندارد) و Objective Caml). نظرات ML روی زبان های دیگر، به ویژه آنهایی که در دانشگاه ها طراحی شده اند تاثیر گذاشت. نمونه های آن شامل ((Cyclone)) و ((Nemerle)) است.
-قدرت ML اغلب در طراحی و دستکاری زبان به کار می رود (کامپایلرها، تحلیلگرها، ثابت کننده های نظریه)، اما ML همچنین در بیوانفورماتیک، سیستم های مالی، بانک های اطلاعاتی شجره ای، برنامه ی سرویس دهنده / سرویس گیرنده ی نظیر به نظیر و ... کاربرد دارد. +قدرت ML اغلب در طراحی و دستکاری زبان به کار می رود (کامپایلرها، تحلیلگرها، ثابت کننده های نظریه)، اما ML همچنین در بیوانفورماتیک، سیستم های مالی، بانک های اطلاعاتی شجره ای، برنامه ی سرویس دهنده / سرویس گیرنده ی نظیر به نظیر و ... کاربرد دارد.*}
 --- ---
 !همچنین ببینید !همچنین ببینید
 *((XML)) *((XML))
 --- ---
 !پیوندهای خارجی !پیوندهای خارجی
-
1. ((مقایسه سرعت زبان های مختلف))
[http://www.somesite.com|http://shootout.alioth.debian.org]
+*[http://en.wikipedia.org/wiki/ML_programming_language ]
*[http://shootout.alioth.debian.org ]
*[http://www.dina.kvl.dk/~sestoft/mosml.html ]
*[
http://smlnj.sf.net/ ]
*[
http://research.microsoft.com/projects/ilx/fsharp.aspx ]
*[http://mlto
n.org/ ]
 #@^ #@^

تاریخ شماره نسخه کاربر توضیح اقدام
 یکشنبه 09 مهر 1385 [12:15 ]   7   زینب معزی      جاری 
 یکشنبه 09 مهر 1385 [12:14 ]   6   زینب معزی      v  c  d  s 
 پنج شنبه 23 شهریور 1385 [10:48 ]   5   زینب معزی      v  c  d  s 
 پنج شنبه 23 شهریور 1385 [10:48 ]   4   زینب معزی      v  c  d  s 
 سه شنبه 04 اسفند 1383 [20:23 ]   3   حمید حسن نیا      v  c  d  s 
 دوشنبه 09 آذر 1383 [06:48 ]   2   حمید حسن نیا      v  c  d  s 
 شنبه 30 آبان 1383 [09:47 ]   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 در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..