۴ - ۱تایپهای پایه
تایپ سیستم ِ هسکل خیلی گویا، قابل اعتماد و مستحکم طراحی شده. تایپها نقشِ خیلی مهمی در خوانایی، امنیت، و نگهداریپذیری ِ کُدهای هسکل دارن، چراکه به ما امکانِ طبقهبندیِ دادهها و اعمال محدودیتهایی روی اونها رو میدن، و متعاقباً برنامههامون هم حالتهای محدودتری از دادهها رو پردازش میکنن. تایپها، که به اونها نوعداده هم میگیم، راههایی رو ارائه میدن که ساختِ سریع برنامهها و نگهداری ِ خیلی آسونترِ اونها رو ممکن میکنه. همینطور که با هسکل آشناتر میشیم، یاد میگیریم چطور از خاصیتهای تایپها بهتر استفاده کنیم، و کارهای مشابه رو با کُدِ کمتر انجام بدیم.
تا اینجا بیانیههای ما اکثراً شاملِ اعداد، حروف، و لیستی از حروف (یا همون نوشته) بودن. اینها چندتا از تایپهای اساسیاند که از کتابخونه ِ استاندارد وارد شدن؛ بسیار کاربردیاند و شامل خیلی از تایپها میشن، با این حال همهی انواعِ داده محدود به اینها نیستن. در این فصل:
تایپهایی که فصل قبل دیدیم رو دوره میکنیم؛
تایپها، نوعسازها، و دادهسازها رو بیشتر میشناسیم؛
با تایپ سیگنچرها بیشتر آشنا میشیم و خیلی کم از تایپکلاسها صحبت میکنیم.