Type

در این بخش به تعریف type و مزایای استفاده از آن می‌پردازیم. یاد می‌گیریم چگونه از typeهای تعریف‌شده را به‌عنوان متغیر، ثابت یا پارامتر ورودی توابع استفاده کنیم. سپس قوانین تبدیل نوع (cast) بین typeها را بررسی می‌کنیم. در ادامه، به تعریف ثابت‌ها به‌صورت گروهی پرداخته و با روش iota برای ایجاد مقادیر ترتیبی آشنا می‌شویم. همچنین تعریف متد روی typeها را بررسی می‌کنیم.