Kreis Funktion aufruft, wenn AST-Knoten für Dolmetscher Auswertung

Question

Ich habe folgende Situation:

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" 

Wie Sie sehen können, Funktion runStatementrunIf Anrufe und runIf Anrufe runStatement, weil eine if-Anweisung durch eine allgemeine gebildet wird Anweisungen, und eine allgemeine Anweisung kann eine if-Anweisung sein.

Wie kann ich diese Situation lösen?

PS .: Ich habe ähnliche Situationen mit anderen Funktionen wie runWhile, runIfElse und so weiter.

Answer 1

Verwenden Sie das 'und' Stichwort

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

runx() |> ignore 

druckt

runxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxruny