F＃是否可以让接口实现接口？

Question

是否可以做这样的事情：

type face1 = 
    interface
    // ...
    end

type face2 =
    interface
    // ...
    interface face1 with
    // ...
    end

这样任何接口face2的东西也可以被认为是face1？

Answer 1

无法实现接口，但您可以让一个接口继承另一个接口：

type face1 = 
    interface
    end

type face2 =
    interface
        inherit face1
    end

这种方式除了face1要求之外，实现者还需要提供face2实现。