Телеграмм чат группы Fsharp

let inline getAppl (p : ^x when ^x: (member Application : string)) =
    p.Application

let hello name =
    let cmd = Command()
    let oldCmd = CommandV1()
    let app = getAppl cmd
    let app' = getAppl oldCmd

хотел вот так вот ограничить, компилятор говорит фигвам

у Command и CommandV1 есть Application пропертя, вот собственно её и хочу.

источник

22:39пожаловаться #6

ЕБ

Евгений Бурмистров... in F# Chat

источник

22:39пожаловаться #7

ЕБ

Евгений Бурмистров... in F# Chat

Ах да,оба класса из шарпа,если это имеет значение (но если я все правильно понял и srtp это как шаблоны в плюсах,должно быть не важно)

источник

22:43пожаловаться #8

Vlad Zaa in F# Chat

Тебе просто значение проперти надо вытащить?

Можно как-то так сделать

let inline (|HasApplication|) n = fun () -> (^a : (member Application: string) n)

let inline getApp (HasApplication a) = a()

источник

23:01пожаловаться #9

ЕБ

Евгений Бурмистров... in F# Chat

Ну у меня чуть более извращенный кейс, я хочу вытащить prop1, prop2, и prop3?.otherProp

Но начать решил с маленького :)

источник

23:04пожаловаться #10

Vlad Zaa in F# Chat

Актив патерны можно комбинировать типа (HasApplication a & HasOtherThing o) = …

источник

23:05пожаловаться #11

Vlad Zaa in F# Chat

Например

let inline (|HasId|) x = fun () -> (^a : (member Id: string) x)

let inline (|HasName|) n = fun () -> (^a : (member Name: string) n)

let inline printNameAndId (HasId id & HasName name) = sprintf "name %s id %s" (name()) (id())

источник

23:06пожаловаться #12

ЕБ

Евгений Бурмистров... in F# Chat

А лесенкой ^a: (member B: ^b: (member C : string)) можно?

источник

23:06пожаловаться #13

ЕБ

Евгений Бурмистров... in F# Chat

Супер,спасибо. Завтра попробую

Все время забываю что патерн матчинг есть не только со словами match и function,но и сразу в сигнатуре,а значит АП там применяются

источник

23:08пожаловаться #14

Vlad Zaa in F# Chat

Не, такое вроде нельзя

источник

23:13пожаловаться #15

2021 June 30

Shub Niggurath in F# Chat

А ничего. И вообще лучше не вскрывать эту тему.

источник

04:01пожаловаться #16

Shub Niggurath in F# Chat