计算 PowerPack 中的合成报价表达式时出错

Question

我正在尝试修改报价然后评估它们。在这里，我从基础开始，只是尝试使用 Quotations api 创建报价。引用绑定正常，但在评估时出现错误。

#r @"FSharpPowerPack-2.0.0.0\bin\FSharp.PowerPack.dll"
#r @"FSharpPowerPack-2.0.0.0\bin\FSharp.PowerPack.Linq.dll"

open Microsoft.FSharp.Quotations
open Microsoft.FSharp.Linq.QuotationEvaluation
open Microsoft.FSharp.Linq

let hardway = 
    Expr.Let(
        new Var("x", typeof<int>),
        Expr.Value(10),
        Expr.GlobalVar("x").Raw)

hardway.EvalUntyped()


Binding session to 'FSharp.PowerPack.Linq.dll'...
System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.
   at Microsoft.FSharp.Collections.MapTreeModule.find[TValue,a](IComparer`1 comparer, TValue k, MapTree`2 m)
   at Microsoft.FSharp.Linq.QuotationEvaluation.ConvExpr(ConvEnv env, FSharpExpr inp) in d:\codeplex\fspowerpack\May2010\src\FSharp.PowerPack.Linq\Linq.fs:line 459
   at Microsoft.FSharp.Linq.QuotationEvaluation.ConvExpr(ConvEnv env, FSharpExpr inp) in d:\codeplex\fspowerpack\May2010\src\FSharp.PowerPack.Linq\Linq.fs:line 704
   at Microsoft.FSharp.Linq.QuotationEvaluation.ConvExpr(ConvEnv env, FSharpExpr inp) in d:\codeplex\fspowerpack\May2010\src\FSharp.PowerPack.Linq\Linq.fs:line 677
   at Microsoft.FSharp.Linq.QuotationEvaluation.CompileImpl[a](a e, Boolean eraseEquality) in d:\codeplex\fspowerpack\May2010\src\FSharp.PowerPack.Linq\Linq.fs:line 837
   at Microsoft.FSharp.Linq.QuotationEvaluation.Expr.EvalUntyped(FSharpExpr ) in d:\codeplex\fspowerpack\May2010\src\FSharp.PowerPack.Linq\Linq.fs:line 854
   at <StartupCode$FSI_0009>.$FSI_0009.main@()
Stopped due to error

Answer 1

要使用全局变量使其工作，您需要这样编写：

let hardway =  
    Expr.Let( 
        Var.Global("x", typeof<int>), 
        Expr.Value(10), 
        (Expr.GlobalVar<int>("x")) ) 

hardway.EvalUntyped() 

Var.Global 和 Expr.Global 使用 F# 引用的一些共享全局变量字典使用库可以获取相同的变量实例，而无需显式传递 Var 值（如 Stringer 的解决方案）。

但是，我认为仅创建一次 Var 值，然后保留对对象的引用（并在表达式中使用相同的对象）会导致代码更具可读性，因此我更喜欢 Stringer 的解决方案。

关于我的代码的几点：

• 您需要使用 Var.Global 而不是 new Var 因为第二个选项不会将变量存储在全局字典中。
• 您需要在 Expr.GlobalVar 中显式指定类型 - 如果您不这样做，F# 将使用 obj 并且这是一个不同的变量（它们按名称 < 进行索引） em>和类型）。

Answer 2

我不知道如何使用 GlobalVar 所以我让其他人回答这个问题。这是等待更好解决方案的解决方法：

let hardway = 
    let v = new Var("x", typeof<int>)
    Expr.Let(
        v,
        Expr.Value(10),
        Expr.Var(v))

let res = hardway.EvalUntyped() // res is 10

Answer 3

Unquote 具有一个基于反射的自定义评估引擎，允许您通过传入一个变量环境，而不需要使变量绑定成为表达式本身的一部分。因此，您可以执行以下操作：

open Swensen.Unquote
open Microsoft.FSharp.Quotations

let unquoteway = Expr.Var(Var("x", typeof<int>))
let environment = Map.ofList [("x", box 10)]
unquoteway.Eval(environment)

这很有趣，因为您传入的环境正是在整个表达式求值过程中用于所有变量绑定和解析的环境，因此变量作用域规则得到遵守：

let unquoteway = 
    Expr.NewTuple(
       [Expr.Var(new Var("x", typeof<int>))
        Expr.Let(new Var("x", typeof<string>), Expr.Value("hello"), Expr.Var(new Var("x", typeof<string>)))])

let environment = Map.ofList [("x", box 10)]
unquoteway.Eval(environment)

//FSI output:
val unquoteway : Expr = NewTuple (x, Let (x, Value ("hello"), x))
val environment : Map<string,obj> = map [("x", 10)]
val it : obj = (10, "hello")