Есть ли название для этого шаблона дизайна?

Question

я продолжаю находить себя решение что-то похожее на diamond inheritance problem следующим образом (но без какого-либо наследства!):

type I<'a> = 
    abstract member Foo : 'a 

    type a = 
    | A 

    interface I<a> with 
     member this.Foo = this 

    type b = 
    | B 

    interface I<b> with 
     member this.Foo = this 

Общность между типами a и b подвергается через интерфейс I<_> но члены интерфейса могут вернуться значения конкретных базовых типов a или b, а не для обобщения на любой тип реализации интерфейса.

Например, это возвращает значение типа a:

> (A :> I<_>).Foo;; 
val it : a = A 

и это возвращает значение типа b:

> (B :> I<_>).Foo;; 
val it : b = B 

даже если значения были восходящее преобразование к типу интерфейса ,

Есть ли название для этого? Другие люди делают это?

Answer 1

В C++ это называется Curiously recurring template pattern.