- شروع کننده موضوع
- #1
MHD.H
کاربر فوق‌حرفه‌ای
- ارسال‌ها
- 789
- امتیاز
- 1,069
- نام مرکز سمپاد
- علامـه حلـی
- شهر
- تهران
- مدال المپیاد
- كامپيوتر ، فيزيك (در حال مطالعه)
- دانشگاه
- ایشالله صنعتى شریف
- رشته دانشگاه
- نرم افزار
اول از همه اینو بگم که این یک مطلب کپی و پیست هست ولی ارزش خوندن رو داره چون یه مطلب واقعا جالبه !
F# چیست ؟
زبان برنامه نویسی تابعی بهترین روش حل مسایل کامپیوتریست اما زبان برنامه نویسی تابعی خالص برای برنامه نویسی همه منظوره مناسب نمیباشد بنابراین به تدریج زبانهای برنامه نویسی تابعی در کنار زبانهای شی گرا و دستوری باقی مانده و استفاده عمومی نیافتند. مچنین در این مدل ویژگیهای افزوده شده را به راحتی میتوان در هر برنامه ای نوشت و به راحتی به آن افزود. F# یک زبان طبیعی به وجود آمده بر این مبناست بعلاوه بسیار بیشتر از یک زبان برنامه نویسی تابعی میباشد. برخی از زبانهای برنامه نویسی تابعی معروف بطور کلی (OCAML , Haskel , Lisp) با دستورات زمان اجرای سفارشی کار میکند و این مسئله باعث نبود روش برنامه نویسی چند فعالیته میشود.
F# یک زبان همه منظوره برای محیط .Net است که برای حالت اجرا بصورت همه منظوره به کار میرود و به راحتیهر سه مدل برنامه نویسی را شامل میشود. برای حل مسایل مختلف در موثرترین روش میتوانید محیط خاص آنرا در برنامه انتخاب کنید. شما میتوانیداز برنامه نویسی توصیفی استفاده کنید و یا توابع را به راحتی با هم ترکیب کنید و یا روشهای شی گرا و دستوری را در همان برنامه استفاده کنید و از قابلیتهای مختلف هر کدام در برنامه سود ببرید. مثل دیگر برنامه های تابعی F# نوع قوی دارد اما از نوع استنتاجی هم سود میبرد بنابراین برنامه نویسان نیاز ندارند زمان زیادی برای توضیح انواع توابع هدر دهند مگر اینکه در موارد خاص ابهاماتی دربرنامه پیش بیاید که لزوم داشته باشد به وضوح بیان شود.علاوه بر این F# بصورت کاملی با چهارچوب .Net و کتابخانه کلاس اصلی آن یعنی BCL ترکیب شده و به راحتی میتوان از آن در F# استفاده کرد و این مسئله مانند C# و VB میباشد و حتی در مواردی استفاده از BCL در F# از دیگر زبانهای تحت .Net راحت تر است.
F# مدل خود را از روی OCAML انتخاب کد که زبان برنامه نویسی تابعی شی گرای موفقی بود سپس با گسترش قابلیتها خوب این برنامه آنها را از نظر فنی و فلسفه کار داخل غالب .Net گنجاند. این زبان کاملا از غالب .Net پشتیبانی کرده و به کاربران این امکان را میدهد که هر چیزی که در محیط .Net ارائه شده است با F# استفاده کنند. کامپایلر F# میتواند تمام پیاده سازیهای زیر ساختار زبانهای معمول را بپذیرد و از روشهای معمول .Net بدون تغییر کد استفاده کند. همچنین میتواند برای کد نویسی IL به صورت برچسب دار استفاده شود.
F# محدود به محیط ویندوز نبوده و میتوان آنرا در لینوکس ، مکینتاش و... استفاده کرد که بخشی از کتاب مورد ترجمه به نحوه عملکرد روی لینوکس میپردازد.کامپایلر F# را میتوان داخل محیط Virtual Studio افزود و با عیب یاب آن به چک کردن دستورات به صورت اتوماتیک پرداخت. همچنین این کامپالر راهنمایی هایی برای استفاده از تمامی توابع عرضه میکند که در نوع خود بینظیر است و برنامه نویسان اشاره میکنند که این مسئله بسیار برای شبیه کردن برنامه به زندگی واقعی موثر است.
F# توسط دکتر دون سیم ابداع شد. در حال حاضرمحصولیست وابسته به تیمی کوچک اما کاملا پیشرفته واقع در مرکز تحقیقات مایکروسافت - کمبریج - لندن - انگلستان با این حال F# در حد یک زبان آکادمیک یا تحقیقاتی نیست و برای خیلی از برنامه های دنیای واقعی (که تعداد آنها به شدت در حال افزایش است) به کار میرود. با توجه به اینکه زبان تابعی دیگری به ندرت در محیط .Net اجرا میشوند F# بعنوان استاندارد این نوع زبانها در آمده است. زبانهای برنامه نویسی تابعی در این میان از F# تبعیت میکنند زیرا این زبان کیفیت پیاده سازی و اشتراک با .Net و Virtual Studio را بسیار بهتر در خود دارد. هیچ برنامه برنامه نویسی .Net دیگری از لحاظ کارکرد ، استفاده و انعطاف پذیری به پای F# نمیرسد.
درباره نویسنده و نوشتن کتاب F#
در سال 2003 دنبال راهی برای پردازش IL که زبان میانی مورد نیاز برای کامپایل تمام زبانهای .Net میشد میگشتم. در آن زمان .Net تقریبا جدید بود و گزینه های زیادی برای این عمل وجود نداشت. من به سرعت دریافتم که بهترین گزینه در آن زمان یا حتی امروزه API به نام ABSIL است که به زبانی ه نام F# نوشته شده بود و من تصمیم گرفتم از این زبان برای نوشتن برنامه ای برای دسته بندی ABSIL استفاده کنم. بنابراین من از این طریق میتوانستم اطلاعات مورد نیاز را از DLL ها به شکل مورد استفاده تراز C# استفاده کنم. اما چیز جالبی در زمان نوشتن این دسته بندی اتفاق افتاد. با وجو اینکه در آن زمانها برنامه نویسی به زبان F# به دلیل نبودن کامپایلر مناسب مشکل بود فهمیدم که از برنامه نویسی به این زبان آنقدر لذت میبرم که وقتی نوشتن برنامه ام را تام کردم نمیخواستم به C# برگردم. یعنی در حقیقت عاشق این زبان شده بودم. زمانی که من به عنوان مشاور کار میکردم نیاز به چک کردن مدام تکنولوژی های جدید و API های آنها داشتم بنابرین تمام تجربیاتم را با F# انجام میدادم. درهمان زمان افرادی در باره راه جدیدی برای ارتباط با وب بحث میکردند و لغت جدیدی که وارد زبان انگلیسی شده بود Blog بود. من تصمیم گرفتم که یک وبلاگ داشته باشم چون هرکسی که در مقوله فن آوری درگیر بود یکی از آنها را داشت بنابراین من وبلاگ خودم را راه اندازی کردم که امروزه هم هنوز فعال است. آنگاه یک دایره المعارف درباره F# به وبلاگم افزودم که در حال حاضربسیار محبوب است و از شیوه wiki در آن استفاده کرده ام. کار من لزوما با مسافرت های زیادی همراه بود بذا زمان زیادی را در اطاقهای هتل یا ترنها یا هواپیماها داشتم. در این زمانها میتوانستم به راحتی به مسایلی مانند F# بپردازم. من به مبادله ایمیلهایی با دون سیم(ابداعگر F#) پرداختم و سپس به تدریج با هم ملاقاتهایی داشتیم. ابتدا به جایی برای صرف نوشیدنی رفتیم و اولین بخش ساختار DNA را با هم وجود آوردیم یعنی در حقیقت کار خود را با یکدیگر آغاز کردیم. آیا سالها بعد افرادی درباره باری(Bar) که اولین بار سیم و پیکرینگ(نویسندگان کتاب) با هم ملاقات کردند چیزی خواهند گفت ؟شاید نه! در هر حال تمام این مسائل مرا به نقطه ای هدایت کرد که من میتوانم آنرادریافت اطلاعات جدید زبان F# و برنامه نویسی تابعی بدانم. در این زمان فردی به نام جیم هادلستون یک لیست پستی F# به راه انداخت و پرسید که آیا کسی میتواند کتابی درباره این زبان بنویسد یا نه ؟. و من نتوانستم جلوی خودم را بگیرم و این کار به نظرم موقعیت شغلی خوبی آمد بنابراین با کمکها و تشویقهای دون سیم نوشتن این کتاب را آغاز کردم. قسمتی از این کتاب در پاریس نوشته شد و برخی از آنها در بروکسل ولی بیشتر آن زمانی نوشته شد که بین این دو شهر رفت و آمد میکردم.
چه کسانی از F# استفاده میکنند ؟
F# در شرکت مایکروسافت به وفور مورد استفاده است هم در MSR و هم در کل شرکت. رالف هربریش که یکی از مدیران دوگانه گروه بازی های مایکروافت و متخصص آموزش ماشینیست به استفاده فزاینده از F# اشاره میکند :
"اولین برنامه کاربردی برای فرستادن 110 گیگابایت از طریق 11.000 فایل
متنی در بیش از 300 دایرکتوری و وارد کردن آنها در بانک داده ای بود. کل
برنامه 90 خط بود که شامل توضیحات نیز میشد و در کمتر از 18 ساعت
توانست اطلاعات مربوطه را در محیط SQL بگنجاند یعنی 10.000 خط
برنامه متنی در هر ثانیه مورد پردازش قرار گرفت. همچنین توجه کنید که من
کد را بهینه نکردم بلکه برنامه را بصورت کاملا عادی نوشتم. این جواب بسیار
قابل توجه بود زیرا من انتظار داشتم نوشتن و اجرای برنامه حداقل یک هفته
کار ببرد. دومین برنامه ، برنامه پردازش میلیونها Feedback مشتریان بود،
ما روابط مدلی زیادی را توسعه دادیم ومن آنها را داخل برنامه F# تایپ کردم
همچنین داده های مربوط به پایگاه داده ای SQL را داخل آن فراخوانی کردم و
نتایج را در فایل داده ای MatLab ذخیره کردم. مقدار این برنامه در F# صد
خط بود که توضیحات را نیز شامل میشد. باز هم با اجرای این برنامه من تحت
تاثیر قرار گرفتم زیرا پردازش میلیونها مورد دادها 10 دقیقه و در یک کامپیوتر
عادی زمان برد.این برنامه را با C#از فعالیتهای قبلی ام داشتم که حدود 1000
خط طول داشت واصلا سریعتر ازاین برنامه نبود.کل کار از توسعه مدل روابط
با اجرا و دیدن نتایج دو روز زمان برد."
استفده از F# تنها در مایکروسافت رایج نیست و در خارج از آن نیز کاربردهایی دارد و یه سرعت در حال افزایش است. جود او کلی ، برنامه نویس شرکت Derivative One که یک شرکت تولید نرم افزارهای شبیه ساز مالی میباشد در جواب به این سوال که چرا این شرکت از F# در محصولاتش استفاده میکند ؟ میگوید :
"ما مدلهای مالی خود را در C# و F# مورد مقایسه قرار دادیم و مشاهده کردیم
که عملکرد یکسان است اما از F# بیشتر خوشمان آمد زیرا روش خلاصه تری
دارد. یکی از مشکلات ما با F# نبود اطلاعات در مورد این زبان بود وبه نظر
ما کتابی که هم اکنون توسط دون سیم برای آموزش F# ارائه شده میتواند کمک
خوبی در این مورد باشد."
F# چیست ؟
زبان برنامه نویسی تابعی بهترین روش حل مسایل کامپیوتریست اما زبان برنامه نویسی تابعی خالص برای برنامه نویسی همه منظوره مناسب نمیباشد بنابراین به تدریج زبانهای برنامه نویسی تابعی در کنار زبانهای شی گرا و دستوری باقی مانده و استفاده عمومی نیافتند. مچنین در این مدل ویژگیهای افزوده شده را به راحتی میتوان در هر برنامه ای نوشت و به راحتی به آن افزود. F# یک زبان طبیعی به وجود آمده بر این مبناست بعلاوه بسیار بیشتر از یک زبان برنامه نویسی تابعی میباشد. برخی از زبانهای برنامه نویسی تابعی معروف بطور کلی (OCAML , Haskel , Lisp) با دستورات زمان اجرای سفارشی کار میکند و این مسئله باعث نبود روش برنامه نویسی چند فعالیته میشود.
F# یک زبان همه منظوره برای محیط .Net است که برای حالت اجرا بصورت همه منظوره به کار میرود و به راحتیهر سه مدل برنامه نویسی را شامل میشود. برای حل مسایل مختلف در موثرترین روش میتوانید محیط خاص آنرا در برنامه انتخاب کنید. شما میتوانیداز برنامه نویسی توصیفی استفاده کنید و یا توابع را به راحتی با هم ترکیب کنید و یا روشهای شی گرا و دستوری را در همان برنامه استفاده کنید و از قابلیتهای مختلف هر کدام در برنامه سود ببرید. مثل دیگر برنامه های تابعی F# نوع قوی دارد اما از نوع استنتاجی هم سود میبرد بنابراین برنامه نویسان نیاز ندارند زمان زیادی برای توضیح انواع توابع هدر دهند مگر اینکه در موارد خاص ابهاماتی دربرنامه پیش بیاید که لزوم داشته باشد به وضوح بیان شود.علاوه بر این F# بصورت کاملی با چهارچوب .Net و کتابخانه کلاس اصلی آن یعنی BCL ترکیب شده و به راحتی میتوان از آن در F# استفاده کرد و این مسئله مانند C# و VB میباشد و حتی در مواردی استفاده از BCL در F# از دیگر زبانهای تحت .Net راحت تر است.
F# مدل خود را از روی OCAML انتخاب کد که زبان برنامه نویسی تابعی شی گرای موفقی بود سپس با گسترش قابلیتها خوب این برنامه آنها را از نظر فنی و فلسفه کار داخل غالب .Net گنجاند. این زبان کاملا از غالب .Net پشتیبانی کرده و به کاربران این امکان را میدهد که هر چیزی که در محیط .Net ارائه شده است با F# استفاده کنند. کامپایلر F# میتواند تمام پیاده سازیهای زیر ساختار زبانهای معمول را بپذیرد و از روشهای معمول .Net بدون تغییر کد استفاده کند. همچنین میتواند برای کد نویسی IL به صورت برچسب دار استفاده شود.
F# محدود به محیط ویندوز نبوده و میتوان آنرا در لینوکس ، مکینتاش و... استفاده کرد که بخشی از کتاب مورد ترجمه به نحوه عملکرد روی لینوکس میپردازد.کامپایلر F# را میتوان داخل محیط Virtual Studio افزود و با عیب یاب آن به چک کردن دستورات به صورت اتوماتیک پرداخت. همچنین این کامپالر راهنمایی هایی برای استفاده از تمامی توابع عرضه میکند که در نوع خود بینظیر است و برنامه نویسان اشاره میکنند که این مسئله بسیار برای شبیه کردن برنامه به زندگی واقعی موثر است.
F# توسط دکتر دون سیم ابداع شد. در حال حاضرمحصولیست وابسته به تیمی کوچک اما کاملا پیشرفته واقع در مرکز تحقیقات مایکروسافت - کمبریج - لندن - انگلستان با این حال F# در حد یک زبان آکادمیک یا تحقیقاتی نیست و برای خیلی از برنامه های دنیای واقعی (که تعداد آنها به شدت در حال افزایش است) به کار میرود. با توجه به اینکه زبان تابعی دیگری به ندرت در محیط .Net اجرا میشوند F# بعنوان استاندارد این نوع زبانها در آمده است. زبانهای برنامه نویسی تابعی در این میان از F# تبعیت میکنند زیرا این زبان کیفیت پیاده سازی و اشتراک با .Net و Virtual Studio را بسیار بهتر در خود دارد. هیچ برنامه برنامه نویسی .Net دیگری از لحاظ کارکرد ، استفاده و انعطاف پذیری به پای F# نمیرسد.
درباره نویسنده و نوشتن کتاب F#
در سال 2003 دنبال راهی برای پردازش IL که زبان میانی مورد نیاز برای کامپایل تمام زبانهای .Net میشد میگشتم. در آن زمان .Net تقریبا جدید بود و گزینه های زیادی برای این عمل وجود نداشت. من به سرعت دریافتم که بهترین گزینه در آن زمان یا حتی امروزه API به نام ABSIL است که به زبانی ه نام F# نوشته شده بود و من تصمیم گرفتم از این زبان برای نوشتن برنامه ای برای دسته بندی ABSIL استفاده کنم. بنابراین من از این طریق میتوانستم اطلاعات مورد نیاز را از DLL ها به شکل مورد استفاده تراز C# استفاده کنم. اما چیز جالبی در زمان نوشتن این دسته بندی اتفاق افتاد. با وجو اینکه در آن زمانها برنامه نویسی به زبان F# به دلیل نبودن کامپایلر مناسب مشکل بود فهمیدم که از برنامه نویسی به این زبان آنقدر لذت میبرم که وقتی نوشتن برنامه ام را تام کردم نمیخواستم به C# برگردم. یعنی در حقیقت عاشق این زبان شده بودم. زمانی که من به عنوان مشاور کار میکردم نیاز به چک کردن مدام تکنولوژی های جدید و API های آنها داشتم بنابرین تمام تجربیاتم را با F# انجام میدادم. درهمان زمان افرادی در باره راه جدیدی برای ارتباط با وب بحث میکردند و لغت جدیدی که وارد زبان انگلیسی شده بود Blog بود. من تصمیم گرفتم که یک وبلاگ داشته باشم چون هرکسی که در مقوله فن آوری درگیر بود یکی از آنها را داشت بنابراین من وبلاگ خودم را راه اندازی کردم که امروزه هم هنوز فعال است. آنگاه یک دایره المعارف درباره F# به وبلاگم افزودم که در حال حاضربسیار محبوب است و از شیوه wiki در آن استفاده کرده ام. کار من لزوما با مسافرت های زیادی همراه بود بذا زمان زیادی را در اطاقهای هتل یا ترنها یا هواپیماها داشتم. در این زمانها میتوانستم به راحتی به مسایلی مانند F# بپردازم. من به مبادله ایمیلهایی با دون سیم(ابداعگر F#) پرداختم و سپس به تدریج با هم ملاقاتهایی داشتیم. ابتدا به جایی برای صرف نوشیدنی رفتیم و اولین بخش ساختار DNA را با هم وجود آوردیم یعنی در حقیقت کار خود را با یکدیگر آغاز کردیم. آیا سالها بعد افرادی درباره باری(Bar) که اولین بار سیم و پیکرینگ(نویسندگان کتاب) با هم ملاقات کردند چیزی خواهند گفت ؟شاید نه! در هر حال تمام این مسائل مرا به نقطه ای هدایت کرد که من میتوانم آنرادریافت اطلاعات جدید زبان F# و برنامه نویسی تابعی بدانم. در این زمان فردی به نام جیم هادلستون یک لیست پستی F# به راه انداخت و پرسید که آیا کسی میتواند کتابی درباره این زبان بنویسد یا نه ؟. و من نتوانستم جلوی خودم را بگیرم و این کار به نظرم موقعیت شغلی خوبی آمد بنابراین با کمکها و تشویقهای دون سیم نوشتن این کتاب را آغاز کردم. قسمتی از این کتاب در پاریس نوشته شد و برخی از آنها در بروکسل ولی بیشتر آن زمانی نوشته شد که بین این دو شهر رفت و آمد میکردم.
چه کسانی از F# استفاده میکنند ؟
F# در شرکت مایکروسافت به وفور مورد استفاده است هم در MSR و هم در کل شرکت. رالف هربریش که یکی از مدیران دوگانه گروه بازی های مایکروافت و متخصص آموزش ماشینیست به استفاده فزاینده از F# اشاره میکند :
"اولین برنامه کاربردی برای فرستادن 110 گیگابایت از طریق 11.000 فایل
متنی در بیش از 300 دایرکتوری و وارد کردن آنها در بانک داده ای بود. کل
برنامه 90 خط بود که شامل توضیحات نیز میشد و در کمتر از 18 ساعت
توانست اطلاعات مربوطه را در محیط SQL بگنجاند یعنی 10.000 خط
برنامه متنی در هر ثانیه مورد پردازش قرار گرفت. همچنین توجه کنید که من
کد را بهینه نکردم بلکه برنامه را بصورت کاملا عادی نوشتم. این جواب بسیار
قابل توجه بود زیرا من انتظار داشتم نوشتن و اجرای برنامه حداقل یک هفته
کار ببرد. دومین برنامه ، برنامه پردازش میلیونها Feedback مشتریان بود،
ما روابط مدلی زیادی را توسعه دادیم ومن آنها را داخل برنامه F# تایپ کردم
همچنین داده های مربوط به پایگاه داده ای SQL را داخل آن فراخوانی کردم و
نتایج را در فایل داده ای MatLab ذخیره کردم. مقدار این برنامه در F# صد
خط بود که توضیحات را نیز شامل میشد. باز هم با اجرای این برنامه من تحت
تاثیر قرار گرفتم زیرا پردازش میلیونها مورد دادها 10 دقیقه و در یک کامپیوتر
عادی زمان برد.این برنامه را با C#از فعالیتهای قبلی ام داشتم که حدود 1000
خط طول داشت واصلا سریعتر ازاین برنامه نبود.کل کار از توسعه مدل روابط
با اجرا و دیدن نتایج دو روز زمان برد."
استفده از F# تنها در مایکروسافت رایج نیست و در خارج از آن نیز کاربردهایی دارد و یه سرعت در حال افزایش است. جود او کلی ، برنامه نویس شرکت Derivative One که یک شرکت تولید نرم افزارهای شبیه ساز مالی میباشد در جواب به این سوال که چرا این شرکت از F# در محصولاتش استفاده میکند ؟ میگوید :
"ما مدلهای مالی خود را در C# و F# مورد مقایسه قرار دادیم و مشاهده کردیم
که عملکرد یکسان است اما از F# بیشتر خوشمان آمد زیرا روش خلاصه تری
دارد. یکی از مشکلات ما با F# نبود اطلاعات در مورد این زبان بود وبه نظر
ما کتابی که هم اکنون توسط دون سیم برای آموزش F# ارائه شده میتواند کمک
خوبی در این مورد باشد."