monoid

💡 We modeled logging as a monoid, appending messages while identities handled empty cases without gratuitous conditionals.

ما گزارش‌گیری را به صورت یک مونوئید مدل‌سازی کردیم، که در آن پیام‌ها اضافه می‌شدند، در حالی که هویت‌ها موارد خالی را بدون شرط‌های بی‌مورد مدیریت می‌کردند.

💡 In algebra, a monoid abstracts structures from shopping lists to string concatenation, where “do nothing” actually means something precise.

در جبر، یک مونوئید، ساختارهایی از لیست‌های خرید گرفته تا الحاق رشته‌ها را خلاصه می‌کند، که در آن‌ها «هیچ کاری نکردن» در واقع به معنای چیزی دقیق است.

💡 We can use ‘comparing’ to turn each field into a comparison function of type Book -> Book -> Ordering and then use the monoid operator <> to combine these comparison functions.

می‌توانیم از «مقایسه» برای تبدیل هر فیلد به یک تابع مقایسه از نوع Book -> Book -> Ordering استفاده کنیم و سپس از عملگر مونوئید <> برای ترکیب این توابع مقایسه استفاده کنیم.