۱ - ۱۰خلاصه

نکات اصلی این فصل که باید یادتون بمونه، اینها هستن:

همه‌ی اینها در هسکل – یا هر زبان تابعیِ خالص دیگه – صدق می‌کنند، چرا که هسکل از جنبه‌ی مفهومی، در واقع جبر لاندا هست. بخوایم دقیق‌تر بگیم، هسکل یک جبر لاندا ِ نوعی یا typed (بعداً از تایپ‌ها بیشتر حرف میزنیم) به حساب میاد، که البته با تغییرات ظاهری زیادی، نوشتن‌ش برای ما آدمها ساده‌تر شده. با این حال، هسکل در ذات با جبر لاندا یکسانه. طور دیگه‌ای بخوایم بگیم، مفهومِ برنامه‌های هسکل در حساب کردنِ بیانیه‌هاست تا اجرای دستورات (البته هسکل قابلیت اجرای دستورات رو هم داره، بعداً می‌بینیم). جلوتر که در رابطه با مفاهیمی که به نظر خیلی پیچیده میان، مثل ترکیب توابع، مونَدها و ترکیب‌کننده‌های پارسِر صحبت می‌کنیم، باز هم به جبر لاندا اشاره خواهیم داشت. اگه هیچ کدوم از اون لغات رو نمی‌شناسین اصلاً نگران نشین. اگه این فصل رو فهمیدین، زیربنای لازم برای درک همه‌ی اون مفاهیم رو دارین.