Класс имплеметор может иметь и другие методы, так ведь? Вроде ничего не запрещает иметь метод интерфейса с другой сигнатурой, но на стороне класса. Другое дело, что при обьявлении типа экземпляра как интерфейса этот перегруженный метод не будет доступен. Вот тут должен помочь это #, но я с наскоку не смог заставить его работать

А вообще я тут поразмыслил, и решил, что это не сильно хорошая идея, даже если заставить это работать

Отсутствующая документация -- это часть pit of success :D

верно, для такого нужно кастить то в интерфейс, то в класс

В блогах пишут, что # работает как утиная типизация

это просто другая запись when T: ISomething

врутЪ

это для

https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AbEAzAzmgFxCgFcA7AHwIE8AHGAAgDEIIAKASgYF4GwMAhrlwMYZACYBYAFA16DAEIConHgwCWZABYwo6gs1acZcxkoBeAHgDkAgHyre/ISLFTpJuowDCjmQwCGXAIBAnUwBgBbGEjgXQYAWTZgAXMQRVTLFgg7Ll5jaUCgkLCI6Nj4gDlk1PSLSwBibNy1AqKZDBgDFKg1eqUoBw4ZbwA6SoYekdGEyeUZGSA

type Foo() = class end
type Bar() = inherit Foo()
type Baz<'a>() = class end

type C() =
    static member M(baz: Baz<Foo>) = ()
    static member N(baz: Baz<#Foo>) = ()
    
let bar = Baz<Bar>()
C.N bar // ok
C.M bar // error

type Foo() = class end
type Bar() = inherit Foo()
type Baz<'a>() = class end

type C() =
    static member M(baz: Baz<Foo>) = ()
    static member N(baz: Baz<#Foo>) = ()
    
let bar = Baz<Bar>()
C.N bar // ok
C.M bar // error

То есть это для ковариантности?

нет, это именно что where T: Something
присвоить Baz<Bar> в  Baz<Foo> нельзя

а хотя лол. Оказывается можно!

let mutable bar: Baz<#Foo> = Baz<Bar>()
bar <- Baz<Bar>()

не думал что так можно, но оказывается можно

НИЧОСИ

(хотя похер)

хотя через жопку

let mutable bar: Baz<#Foo> = Baz<Bar>()
bar <- Baz<Bar>()
bar <- Baz<Foo>() :> Baz<#Foo>

третья строчка только так работает...

О. ещё и так можно

let mutable bar = Baz<#Foo>()
bar <- Baz<Bar>()
bar <- Baz<#Foo>()

какой фшарп хитрый... Нихуя неясно

А на самом деле ничего не делает

Не, короче, забей. Тут ничего не работает