لنفترض أن لدي واجهة
interface Applicative<T> {}
الآن أريد تحديد وظيفة f التي:
Function
ويأخذ نوع U
يمتد Applicative
التفاف any
U
التفاف Function
كانت محاولاتي الساذجة
function f<U extends Applicative>(fn: Function, a: U<any>): U<Function>
و
function f<T, U<T> extends Applicative<T>>(fn: Function, a: U<any>): U<Function>
لكن لا شيء صالح
هل يمكننا الحصول على تمديد عام نوع مع عام؟
لا ، لا تحتوي الكتابة المطبوعة على أنواع من النوع الأعلى.
نسخة مكررة من # 1213 وربما أخرى.
نسخة مكررة من # 1213 وربما أخرى.
نعم إنه كذلك. يمكن إغلاق هذا