Библиотека шарписта | C#, F#, .NET, ASP.NET: “⭐️ F#: упрощённые иерархии интерфейсов с DIM Раньше при работе с C#-ин…”

⭐️ F#: упрощённые иерархии интерфейсов с DIM

Раньше при работе с C#-интерфейсами, где базовый слот закрыт через дефолтную реализацию интерфейсов, F# всё равно требовал явно реализовать оба интерфейса.

Теперь достаточно реализовать только производный интерфейс.

Допустим, есть такие C#-интерфейсы:

public interface IA { int M(); }
public interface IB : IA {
    new int M();
    int IA.M() => this.M() + 100;  // DIM покрывает слот IA.M
}

Раньше F# требовал реализовать и IA, и IB. Теперь достаточно IB:

type C() =
    interface IB with member _.M() = 42
 
(C() :> IB).M()   // 42
(C() :> IA).M()   // 142 — DIM перенаправляет: this.M() + 100

Улучшение работает не только для простых случаев. Поддерживается ромбовидное наследование, дженерик-интерфейсы, свойства, события, структуры и объектные выражения.

Для включения нужен флаг --langversion:preview.

📍 Навигация: Вакансии • Задачи • Собесы

🐸 Библиотека шарписта

#sharp_view