如何在 F# 中将引用编译为新类型的公共静态方法

Question

我正在使用类型提供程序，并尝试将引用编译为新生成类型的公共静态方法。这就是我所拥有的：

let CreateType<'i> name methodName quotation =
    let assemblyName = new AssemblyName(Name = "tmpAssembly")
    let assemblyBuilder = 
        System.AppDomain.CurrentDomain.DefineDynamicAssembly(assemblyName, AssemblyBuilderAccess.RunAndSave)

    let filename = "tmpAssembly.dll"
    let tmpModule = assemblyBuilder.DefineDynamicModule(filename,filename)

    // create a new type builder
    let typeBuilder = 
        tmpModule.DefineType(
            name, 
            TypeAttributes.Public ||| TypeAttributes.Class,
            null, // parentType
            [|typeof<'i>|])

    let attr = MethodAttributes.Public ||| MethodAttributes.HideBySig ||| MethodAttributes.Static

    let methodImpl = 
        typeBuilder.DefineMethod(
            methodName, 
            attr, 
            typeof<unit>, // todo
            [||])  // todo

    let il = methodImpl.GetILGenerator()

    // compile quotation to method

    typeBuilder.CreateType()

我知道有一个 .Compile() 方法，但我认为这不是我需要的。有什么想法吗？

Answer 1

我还没有真正使用过 F# 3.0 版本，但我认为您不需要自己生成 IL 代码。 Keith 的帖子解释了有两种类型的类型提供程序 - 生成创建一个真实的.NET类型（存在于某些库中），擦除创建一个假类型，然后为编译器提供一个表达式树来代替对 fake 类型的调用。

在我看来，您正在尝试在擦除类型更合适的情况下实现生成类型提供程序。在擦除的情况下，您应该只能返回 .NET Expression<..> 类型（虽然不是 F# 引号，但您可以使用 PowerPack 中的 ToLinqExpression ），F# 编译器将为您编译它。

不过我还没玩过，所以不知道具体机制是什么。