type WeatherTool (factory: IHttpClientFactory) =
    [...]

    member private _.ProcessResponse<'T> (response:HttpResponseMessage) : Task<Result<'T, string>> = task {
        [...]
        return Ok(deserialize<'T> content)            
    }


    member _.GetCityGeolocation(city: string) : Task<Result<GetCityGeolocation, string>> = task {
        let url = $"{apiUrlBase}/v1/search?name={city}&count=1"
        let! response = client.GetAsync(url)
        return! _.ProcessResponse<GetCityGeolocation>(response)
    }

它在 _.ProcessResponse. 上报错。

如果把下划线（_）替换成 "this" 或者 "__"（双下划线）就能正常工作：

    member this.GetCityGeolocation(city: string) : [...]
        [...]
        return! this.ProcessResponse<GetCityGeolocation>(response)
    }

为什么下划线（_）不起作用？
这怎么会是一个类型注解的问题呢？

解决方案

在F#中，与某些其他语言不同，下划线并不是一个真实的标识符。它是一个占位符。不是出于约定，而是由语言规范规定。它不是一个花哨名字的变量，而是特殊语法。

具体来说，如果你用 _ 作为接收者来定义一个方法，这意味着你不在乎接收者，也不会引用它：

    member _.f() = "Always same result"

这就是你在定义 _.GetCityGeolocation 时所做的。你说你不在乎被调用该方法的对象。

另一方面，在F# 8中，新增了一个特性：用于定义字段访问器函数的快捷语法.它使用相同的 _ 占位符。像 _.f 这样的表达式，是 fun x -> x.f 的语法糖。它是一个接收某个参数并返回其名为 f 的属性的函数。

这就是你在写下 _.ProcessResponse 时所做的事情。编译器把它视为一个函数 fun x -> x.ProcessResponse。它无法从上下文推断出 x 的类型应该是什么。因此它就在提示你：在一个不确定类型的对象上对属性名进行查找。