抱歉标题写得不好。考虑以下函数:
我知道它是干什么的,但只是因为我复制粘贴了它。它的意思是:给定一个
let inline getName arg =
( ^a : (member Name : string) arg)
我知道它是干什么的,但只是因为我复制粘贴了它。它的意思是:给定一个
arg
,返回arg
的name
成员。然而,我不理解第一部分的^a
,也不理解:(member Name: string)
。我只知道最后一个arg
应用了^a :(member Name : string)
函数中的arg
值。
^a : (member Name : string)
基本上是一个函数,用于返回参数arg
的Name
成员吗? - N_A