المطبق هو نوع البيانات الذي يقوم بتنفيذ فئة النوع المطبق في علوم الكمبيوتر ، فئة النوع هيبناء نظام النوع الذي يدعم تعدد الأشكال المخصص. يتم تحقيق ذلك عن طريق إضافة قيود على متغيرات الكتابة في أنواع متعددة الأشكال حدوديًا. https://en.wikipedia.org ›wiki› Type_class
فئة النوع - ويكيبيديا
. الأحادي هو نوع بياناتيقوم بتنفيذ فئة نوع Monad. A ربما ينفذ الثلاثة ، لذلك فهو ممتع ، وتطبيق ، و monad.
هل كل موناد ممتلئ؟
تسمح الوظيفة الأولى بتحويل قيم المدخلات الخاصة بك إلى مجموعة من القيم التي يمكن أن يؤلفها Monad. الوظيفة الثانية تسمح بالتكوين. لذا في الختام ،كل Monad ليس Functor ولكنه يستخدم Functor لإكمال غرضه.
ما موناد ليست كذلك
Monads ليست حول الحالة
بينما من الممكن بالتأكيد تجريد الحالة الصريحة التي تمر باستخدام Monad ، فهذا ليس ما هو monad. بعض الأمثلة للأحادية التي لا تتعلق بالحالة:هوية أحادية، قارئ أحادي ، قائمة أحادية ، متابعة أحادية ، استثناء أحادي.
ما هو التطبيق في هاسكل؟
في هاسكل ، المطبق هونوع معلمات نعتقد أنه حاوية لبيانات من هذا النوع بالإضافة إلى طريقتين نقيتين و. ضع في اعتبارك نوعًا محددًا f a. الطريقة الخالصة لتطبيق من النوع f لها نوع. نقي:: أ -> و أ. ويمكن أن يكونيعتقد أنه يجلب القيم إلى التطبيق.
هل الممحاة أحادية اللون؟
هوية تكوين المنفذين هو عامل الهوية. …الفئة الصغيرة التي تحتوي على كائن واحد هي نفس الشيء مثل monoid: يمكن اعتبار التشكل لفئة كائن واحد كعناصر من monoid ، والتكوين في الفئة هو يعتقد أنها عملية أحادية.
