Имея значение, ограниченное ограничением члена, могу ли я получить доступ к члену как функции первого класса?

Question

Можно ли получить доступ к ограниченному члену как первоклассную функцию (заданный объект)?Если да, какой правильный синтаксис использовать?

  // Example: property getter as a first-class function
  type Test() =
     member x.Value = "42"

  let t = Test()
  let getter = t.get_Value // works as expected


  // now generically:
  let inline getGetter< ^a when ^a : (member get_Value : unit -> string)> item =
    // call getter
    let value = (^a : (member get_Value : unit -> string) item)
    // try to get getter as first-class function
    let getter = item.get_Value // doesn't compile: "Lookup on object of indeterminate type..."
    ()

Answer 1

Я думаю, это то, что вы ищете:

  type Test() =
     member x.Value = "42"

  let inline getGetter< ^a when ^a : (member get_Value : unit -> string)> item =
    fun () -> (^a : (member get_Value : unit -> string) item)

  let t = Test()
  let getter = getGetter t
  let value = getter()