F# 为何仅泛型方法支持函数自动转换为 Expression 类型？

这个问题本质是F#编译器的Lambda表达式到Expression<Func<>>类型的自动转换规则导致的，具体原因如下：

• F#编译器仅在Lambda表达式直接作为参数传入泛型方法的Expression类型参数时，才会触发自动转换逻辑：将Lambda从普通F#函数编译为表达式树结构，匹配参数类型要求。
• 你代码中let绑定的非泛型函数createFilter不属于泛型方法，它的参数类型是固定的Expression<Func<MyObject, string>>，此时编译器会默认将你传入的fun x -> x.Name推断为原生FSharpFunc<MyObject, string>类型，而F#原生函数类型和Expression<Func<>>之间不存在隐式转换规则，因此调用会报错。
• 泛型成员方法CreateFilter<'T>触发了编译器的自动转换逻辑：编译器在推断泛型参数'T的过程中，会主动尝试将Lambda转换为表达式树来匹配参数类型，因此可以正常运行。

如果你需要让非泛型的createFilter正常工作，可以手动构造表达式树传入，示例如下：

open System
open System.Linq.Expressions

// 手动构造符合要求的Expression
let field = 
    let param = Expression.Parameter(typeof<MyObject>, "x")
    Expression.Lambda<Func<MyObject, string>>(
        Expression.Property(param, nameof Unchecked.defaultof<MyObject>.Name), 
        param
    )
let filter = createFilter(field, name)

内容的提问来源于stack exchange，提问作者Alex 75