F # Is it possible that an interface implements an interface?

Question

Is it possible to do something like this:

type face1 = 
    interface
    // ...
    end

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

So anything that face2 interfaces can also be thought of as face1?

+3

user3685285 16 jul. 15 at 12:18

1 answer

scrwtp · Accepted Answer · 2015-07-16T12:25:20+0000

It is not possible to implement an interface, but you can inherit from one interface:

type face1 = 
    interface
    end

type face2 =
    interface
        inherit face1
    end

Thus, developers will need to provide an implementation face1

in addition to what is requested face2

.