هل هناك مكتبة تستخدم ConstraintKinds لتعميم جميع فئات أنواع الأساس للسماح بالقيود؟

Question

يمكننا استخدام Recond Constraintkinds لتوسيع وظائف فئات نوع الأساس للسماح بالقيود.على سبيل المثال، يمكننا أن نجعل ناقلات Unboxed a functor:

giveacodicetagpre.

(انظر هذه REL="NOREFERRER"> مدونة المشاركات لمزيد من التفاصيل).

لقد لاحظت نفسي تنفذ جزءا كبيرا من فئات نوع مكتبة الأساس في هذا النمط الجديد (أساسا أريد أن أكون قادرا على العمل بالتبادل بين مقالات وقوائم Unboxed)، وأتساءل عما إذا كانت مكتبة لهذا الموجودة بالفعل ذلكيجب أن أستخدمها، أو إذا كان يجب أن ألحم الألغام وإضافته إلى الحلوة.

---

تحرير: أيضا، هل هناك خطط لإضافة هذا مباشرة إلى قاعدة؟يبدو أنه لا ينبغي أن يكسر أي شيء آخر فقط عن طريق تحديث تعريفات الفصل مباشرة.

Answer 1

لأنه يبدو أنه لا يوجد أحد آخر لديه مكتبة، فقد قمت بتحويل ما قمت به في مشروع منفصل يسمى ConstraintKinds و تم تحميله إلى Github .إنها بسيطة للغاية في الوقت الحالي، وربما لا تغطي أي حالة استخدام آخر حتى الآن، ولكن لا تتردد في إجراء تغييرات خاصة بك أو إرسال الطلبات.

ربما ننتظر المزيد من الملاحظات إذا كان هذا اتجاها جيدا قبل تحميل المشروع لربط القلابة.