recursive+directory 源代码

/* define valid mutually recursive procedures */ let function do_nothing1(a: int, b: string)= do_nothing2(a+1) function do_not…

/* This is illegal, since there are two types with the same name in the same (consecutive) batch of mutually recursive types. …

/* define valid recursive types */ let /* define a list */ type intlist = {hd: int, tl: intlist} /* define a tree */ type tree =…

/* error : definition of recursive functions is interrupted */ let function do_nothing1(a: int, b: string):int= (do_nothing2(a+…

/* define a recursive function */ let /* calculate n! */ function nfactor(n: int): int = if n = 0 then 1 else n * nfact…

function output = fact02(n) % FACT2 Calculate factorial of a given positive integer (recursive version) if n == 1, % Terminati…

/* This is illegal, since there are two functions with the same name in the same (consecutive) batch of mutually recursive fun…

/* This is legal. The second function "g" simply hides the first one. Because of the intervening variable declaration, the two…

/* define valid mutually recursive functions */ let function do_nothing1(a: int, b: string):int= (do_nothing2(a+1);0) function…

/* error: definition of recursive types is interrupted */ let /* define a tree */ type tree ={key: int, children: treelist } var …