Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

2020 May 17

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Я хз на что ты рассчитывал, но реализовать такой интерфейс с сртп типом можно только через инлайн функции
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Nikolay M
Што ему надо?
inline override?
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ну если интерфейс без женерика, оно тоже не работает
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Nikolay M
Ну если интерфейс без женерика, оно тоже не работает
Да бля, не интерфейс виноват, Николай!
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ты описал тип 'a
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Через жопу с сртп
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
После этого любой метод который принимает или возвращает такой тип должен быть инлайн
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Вот метод не использует тип
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Но ругает меня
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Nikolay M
Вот метод не использует тип
Но видимо использует. Или это компилятор ещё тупит
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Напиши там () и компильни
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
type IExample =
 abstract member Parse : unit -> unit

type Example<'a when 'a : (static member parse : unit -> unit)>() =
 interface IExample with
   member x.Parse() = ()
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Вот пример не работает
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Nikolay M
type IExample =
 abstract member Parse : unit -> unit

type Example<'a when 'a : (static member parse : unit -> unit)>() =
 interface IExample with
   member x.Parse() = ()
а что ты хочешь
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladislav Khapin
а что ты хочешь
Понять, простить
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Даппер ковыряю
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Nikolay M
Вот пример не работает
Любопытно. Я ожидал что оно должно работать, но я не много игрался с сртп типами в классах
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ну делай инлайн везде
источник

NM

Nikolay M in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Щас психану, и свой маппер напишу, с блэкджеком и барышнями
источник