Một hạn chế khác của các trích dẫn F #?

Question

Đầu hôm nay tôi gặp phải một hạn chế của F # trích dẫn, và hỏi một câu hỏi về nó ở đây: F# quotations: variable may escape scope

Bây giờ, tôi có thể đã gặp phải giới hạn khác khi chuyển đổi ví dụ xuất hiện trong http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf từ MetaOcaml đến F #.

Lần này tôi đã đoạn MetaOcaml này:

let rec peval2 p env fenv= 
    match p with 
    Program ([],e) -> eval2 e env fenv 
    | Program (Declaration (s1,s2,e1)::tl,e) -> 
     .<let rec f x = .~(eval2 e1 (ext env s2 .<x>.) 
            (ext fenv s1 .<f>.)) 
      in .~(peval2 (Program(tl,e)) env (ext fenv s1 .<f>.))>. 

và tôi chuyển đổi nó để

let rec peval2 p env fenv = 
    match p with 
    | Program ([], e) -> eval2 e env fenv 
    | Program (Declaration (s1, s2, e1) :: tl, e) -> 
     <@ let rec f x = %(eval2 e1 (ext env s2 <@ x @>) 
            (ext fenv s1 <@ f @>)) 
      in %(peval2 (Program(tl, e)) env (ext fenv s1 <@ f @>)) @> 

tôi nhận được lỗi thời gian biên dịch sau: This expression was expected to have type int -> Expr<int> but here has type Expr<'a> với hai <@ f @>.

Bằng trực giác, tôi nghĩ rằng lỗi này có ý nghĩa rất lớn. Nhưng có cách nào trong F # để mô tả những gì tôi muốn trong trường hợp này?

mẫu Mã số:

open Microsoft.FSharp.Quotations 

type Exp = 
    | Int of int 
    | Var of string 
    | App of string * Exp 
    | Add of Exp * Exp 
    | Sub of Exp * Exp 
    | Mul of Exp * Exp 
    | Div of Exp * Exp 
    | Ifz of Exp * Exp * Exp 

type Def = Declaration of string * string * Exp 
type Prog = Program of Def list * Exp 

exception Yikes 

let env0 = fun x -> raise Yikes 

let fenv0 = env0 

let ext env x v = fun y -> if x = y then v else env y 

let rec eval2 e env fenv = 
    match e with 
    | Int i -> <@ i @> 
    | Var s -> env s 
    | App (s, e2) -> <@ %(fenv s) %(eval2 e2 env fenv) @> 
    | Add (e1, e2) -> <@ %(eval2 e1 env fenv) + %(eval2 e2 env fenv) @> 
    | Sub (e1, e2) -> <@ %(eval2 e1 env fenv) - %(eval2 e2 env fenv) @> 
    | Mul (e1, e2) -> <@ %(eval2 e1 env fenv) * %(eval2 e2 env fenv) @> 
    | Div (e1, e2) -> <@ %(eval2 e1 env fenv)/%(eval2 e2 env fenv) @> 
    | Ifz (e1, e2, e3) -> <@ if %(eval2 e1 env fenv) = 0 
          then %(eval2 e2 env fenv) 
          else %(eval2 e3 env fenv) @> 

let rec peval2 p env fenv = 
    match p with 
    | Program ([], e) -> eval2 e env fenv 
    | Program (Declaration (s1, s2, e1) :: tl, e) -> 
     <@ let rec f x = %(eval2 e1 (ext env s2 <@ x @>) 
            (ext fenv s1 <@ f @>)) 
      in %(peval2 (Program(tl, e)) env (ext fenv s1 <@ f @>)) @> 

Answer 1

Tôi nghĩ rằng bạn đang đánh cùng một vấn đề như trong câu hỏi trước - khi tôi copy tờ khai cần thiết từ giấy, tôi nhận:

error FS0446: The variable 'f' is bound in a quotation but is used as part of a spliced expression. This is not permitted since it may escape its scope.

này có ý nghĩa - việc nắm bắt các biến bị ràng buộc trong ngoặc kép bên trong biểu thức ghép nối không được phép trong F # và điều này chắc chắn được thực hiện trong đoạn mã.

Tôi không chắc chắn lý do tại sao bạn nhận được một messagae lỗi khác nhau - nếu bạn có thể đăng một mẫu hoàn chỉnh tối thiểu, có thể được trả lời, nhưng bạn vẫn sẽ đạt giới hạn chụp biến này. (Mà có lẽ là một cái gì đó được sử dụng khá nhiều trong MetaOCaml).