funkcja Circular zwraca przy ocenie węzłów AST dla tłumacza

Question

Mam następującą sytuację:

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" 

Jak widać, funkcja runStatement wywołuje runIf i runIf połączeń runStatement, ponieważ if-oświadczenie jest utworzona przez kilka ogólnych oświadczenia, a ogólne oświadczenie może być instrukcją if.

Jak mogę rozwiązać tę sytuację?

PS: Mam podobne sytuacje z innymi funkcjami, takimi jak runWhile, runIfElse i tak dalej.

Answer 1

naciśnij 'i' keyword

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

runx() |> ignore 

wydruki

runxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxrunyrunxruny