这个设计模式有没有名字？

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。