AH
Сайм активно пилит глобальную видимость тайп экстеншнов
Size: a a a
2020 April 03
VS
сртп тоже старым ничего не докидывает
AH
сртп тоже старым ничего не докидывает
Пока что
AH
AH
[RFC FS-1043] Extension members visible to trait constraints · Issue #6805 · dotnet/fsharp
https://github.com/dotnet/fsharp/pull/6805
https://github.com/dotnet/fsharp/pull/6805
AH
[RFC FS-1071] Witnesses passing for trait-constraints w.r.t. quotations · Issue #6810 · dotnet/fsharp
https://github.com/dotnet/fsharp/pull/6810
https://github.com/dotnet/fsharp/pull/6810
AH
Вот два PR
AH
Первый особенно
AH
Сртп смогут видеть тайп экстеншны
AH
Это типа возможность через дак тайпинг докинуть готовым типам функциональность интерфейсов и через сртп их вызывать
AH
type Int32 with
member _.Dispose() = ()
let dispose (x: ^x when (^x: member Dispose: unit -> unit)) = ...
dispose 1
member _.Dispose() = ()
let dispose (x: ^x when (^x: member Dispose: unit -> unit)) = ...
dispose 1
AH
При этом тайп экстеншн может быть в другой сборке
DB
type Int32 with
member _.Dispose() = ()
let dispose (x: ^x when (^x: member Dispose: unit -> unit)) = ...
dispose 1
member _.Dispose() = ()
let dispose (x: ^x when (^x: member Dispose: unit -> unit)) = ...
dispose 1
И это только для заданного типа работает ?
VS
Вот два PR
останется синтаксис вызова нормальным сделать
AH
И это только для заданного типа работает ?
Ну да
AH
И это только для заданного типа работает ?
(будет работать)
AH
Сейчас не работает. Ну то есть тайп экстеншн работает, но сртп его не видит
VS
Если это введут, жизнь сильно упростится