۵ - ۱تایپ‌ها

در فصل قبل با چندتا از تایپ‌های از پیش‌ساخته مثل ‏‎Bool‎‏ و توپل‌ها آشنا شدیم، نگاه مختصری هم به تایپکلاس‌های ‏‎Num‎‏ و ‏‎Eq‎‏ داشتیم. اما خوندن و نوشتنِ هسکل، مستلزمِ درک عمیق از تایپ‌ها، خوندن و تفسیر صحیحِ اونهاست.

همونطور که دیدیم، تعاریفِ نوع‌داده یک نوع‌ساز و چند داده‌ساز ایجاد می‌کنن. داده‌سازها، مقادیرِ یک تایپِ بخصوص‌اند؛ و در واقع تابع هم هستن: توابعی که داده یا مقادیر اون تایپ رو درست می‌کنن، ولی یه کم ممکنه زمان ببره تا این مطلب خوب جا بیوفته. در هسکل نمیشه داده‌ی بی‌تایپ درست کرد، و به غیر از شکَرِ گرامری برای چیزهایی مثل اعداد یا توابع، هر چیزی از یه داده‌ساز ای که در یه تعریفِ تایپ درست شده شروع میشه.

در این فصل، نگاه عمیق‌تری به تایپ سیستم میندازیم و

  • استعلام کردن و خوندنِ تایپ سیگنچرها رو بیشتر یاد می‌گیریم؛

  • می‌فهمیم که متاسفانه کاری کردن ربطی به خوراکی نداره*

  • انواع پلی‌مورفیسم رو دقیق‌تر بررسی می‌کنیم؛

  • استنتاج تایپ ِ هسکل رو می‌بینیم، و یاد می‌گیریم تایپِ توابع‌مون رو تعیین کنیم.

    *

    م. ادویه‌ی کاری...