برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Essential Haskell

دانلود کتاب هاسکل ضروری

مشخصات کتاب

Essential Haskell

دسته بندی: نرم افزار: سیستم ها: محاسبات علمی
ویرایش:  
نویسندگان: Dijkstra A.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 232 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 49,000

کلمات کلیدی مربوط به کتاب هاسکل ضروری: کتابخانه، ادبیات کامپیوتر، هاسکل

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 15

در صورت تبدیل فایل کتاب Essential Haskell به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب هاسکل ضروری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب هاسکل ضروری

Книга по языку Haskell.

Краткое содержание:
1. مقدمه
2. آموزش سیستم Attribute Grammar (AG)
3. EH 1: تایپ شده lambda -calculus
4. EH 2: استنتاج نوع تک شکلی
5. EH 3: استنتاج نوع چند شکلی
6. EH 4: انتشار کمیت ساز محلی
7. EH 4: انتشار جهانی کمیت
8. EH 4: انواع وجودی
9. مشخص کردن پارامترهای ضمنی
10. امضاهای نوع جزئی
11. خط کش: قوانین نوع برنامه نویسی
12. نتیجه گیری و کار آینده
مراجع
A. نماد
B. قوانین ایجاد شده توسط Ruler
C. کتابخانه های استفاده شده
شاخص

توضیحاتی درمورد کتاب به خارجی

Книга по языку Haskell.

Краткое содержание:
1. Introduction
2. Attribute Grammar (AG) system tutorial
3. EH 1: Typed lambda -calculus
4. EH 2: Monomorphic type inferencing
5. EH 3: Polymorphic type inferencing
6. EH 4: Local quantifier propagation
7. EH 4: Global quantifier propagation
8. EH 4: Existential types
9. Making implicit parameters explicit
10. Partial type signatures
11. Ruler: programming type rules
12. Conclusion and future work
References
A. Notation
B. Rules generated by Ruler
C. Used libraries
Index