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要求之外的实现。