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 просит.