funzione circolare le chiamate quando si valutano i nodi AST per interprete

Question

ho la seguente situazione:

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" 

Come si può vedere, la funzione runStatement chiama runIf, e runIf chiamate runStatement, perché un se-dichiarazione è formata da alcuni generali dichiarazioni e una dichiarazione generale può essere un'istruzione if.

Come posso risolvere questa situazione?

PS .: Ho situazioni simili con altre funzioni come runWhile, runIfElse e così via.

Answer 1

utilizzare il 'e' parola chiave

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

runx() |> ignore 

stampe

runxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxruny