Thông tư chức năng cuộc gọi khi đánh giá các nút AST cho thông dịch viên

Question

Tôi có tình huống sau đây:

let private runStatement (vars : Map<identifier, value>) stmt = 
    match stmt with 
    | Assignment (id, expr) -> runAssignment vars id expr 
    | Print exprs -> runPrint vars exprs 
    | Read id -> runRead vars id 
    | If (cond, stmts) -> runIf vars cond stmts 

let rec private runStatements vars stmts = 
    match stmts with 
    | stmt::rest -> 
     let newVars = runStatement vars stmt 
     runStatements newVars rest 
    | [] -> vars 

let private runIf vars conditionalValue statements = 
    match conditionalValue with 
    | Boolean v when v -> runStatements vars statements 
    | Boolean v -> vars 
    | _ -> failwith "Not a boolean expression in if statement" 

Như bạn thấy, chức năng runStatement gọi runIf, và runIf cuộc gọi runStatement, bởi vì một if-tuyên bố được hình thành bởi một số chung báo cáo, và một tuyên bố chung có thể là một tuyên bố nếu.

Làm cách nào để giải quyết tình huống này?

PS .: Tôi có các tình huống tương tự với các chức năng khác như runWhile, runIfElse và cetera.

Answer 1

Sử dụng 'và' từ khóa

let rec runx() = 
    printf "runx" 
    runy() 
and runy() = 
    printf "runy" 
    runx() 

runx() |> ignore 

in

runxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxruny