۱۵ - ۱مانویدها و نیم‌گروه‌ها

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

مطالب زیر رو در این فصل میگیم: