فيديو: هل كل monads Monoids؟
2024 مؤلف: Miles Stephen | [email protected]. آخر تعديل: 2023-12-15 23:33
إجابة حسنة القول ، ربما تكون أقصر إجابة هي: أ أحادي ما هو الا أحادي في فئة الأطباء. راض أحادي البديهيات (الأول والثاني) ، أ أحادي يمكن اعتباره ملف أحادي وهو عامل داخلي مع تحولين طبيعيين.
هنا ، ما هو Monad Endofunctor؟
في نظرية الفئة ، فرع الرياضيات ، أ أحادي (أيضًا ثلاثي ، ثلاثي ، بناء قياسي والبناء الأساسي) هو Endofunctor (يقوم المنفذ بتعيين فئة لنفسه) ، جنبًا إلى جنب مع تحولين طبيعيين مطلوبين للوفاء بشروط تماسك معينة.
بعد ذلك ، السؤال هو ، ما هو Bifunctor؟ أ بيفونكتور (يُعرف أيضًا باسم الممول الثنائي) هو ممول يكون مجاله فئة منتج. يمكن أن ينظر إليه على أنه ممتلئ في حجتين. يعد Hom functor مثالًا طبيعيًا ؛ إنه مخالف في إحدى الحجة ، وهو متغاير في الآخر. متعدد الوظائف هو تعميم لمفهوم المنفذ لمتغيرات n.
إذن ما هو الموناد في البرمجة؟
من ويكيبيديا: وظيفي برمجة ، أ أحادي هو نوع من أنواع البيانات المجردة المستخدمة لتمثيل الحسابات (بدلاً من البيانات في نموذج المجال). موناد السماح لل مبرمج لتسلسل الإجراءات معًا لبناء خط أنابيب ، حيث يتم تزيين كل إجراء بقواعد معالجة إضافية مقدمة من أحادي.
ما هو موناد هاسكل؟
في هاسكل أ أحادي يتم تمثيلها كمنشئ نوع (نسميها m) ، وهي دالة تبني قيمًا من هذا النوع (a -> ma) ، ووظيفة تجمع قيم هذا النوع مع الحسابات التي تنتج قيمًا من هذا النوع لإنتاج حساب جديد لـ قيم من هذا النوع (ma -> (a -> mb) -> mb).