If I design a function, need call other function which also call this function. How to Decalare it:
(define (sub-1 arg)
(if (> arg 1) (sub-2 arg)))
(define (sub-2 arg)
(if (< arg 1) (sub-1 arg)))
How to call function each other with declaration
Re: How to call function each other with declaration
Something like this?
Code: Select all
(define (foo x)
(if (> x 0)
(bar x)
(- x 1)
)
)
(define (bar x)
(if (< x 0)
(foo x)
(+ x 1)
)
)
Re: How to call function each other with declaration
What you wrote (or what ryuo wrote) is the basic idea. It is OK because the calls of sub-1 and sub-2 in the bodies of the functions (lambdas) only get resolved during call time. For instance, the call (sub-2 arg) in the body of the definition of sub-1 is not illegal (ostensibly because sub-2 hasn't been defined yet), because the symbol sub-2 in the expression (sub-2 arg) gets resolved *only* when the expression (sub-2 arg) is called, and when that happens, the function sub-2 will already have been defined. I hope that's clear.ssqq wrote:If I design a function, need call other function which also call this function. How to Decalare it: . . .
The only thing you might have to be concerned about is blowing the stack, because mutual recursion is not stack optimized in newLISP. But, neither is any recursion. For instance, take the classic example of mutual recursion in SICP.
Code: Select all
(define (ev? n)
(if (= n 0)
true
(od? (- n 1))))
(define (od? n)
(if (= n 0)
false
(ev? (- n 1))))
Your can see that works quite well.
Code: Select all
> (od? 55)
true
> (ev? 55)
nil
> (od? 42)
nil
> (ev? 42)
true
Code: Select all
> (ev? 2349)
ERR: call or result stack overflow in function if : =
called from user defined function od?
called from user defined function ev?
called from user defined function od?
called from user defined function ev?
called from user defined function od?
called from user defined function ev?
called from user defined function od?
. . .
(λx. x x) (λx. x x)
Re: How to call function each other with declaration
Thanks all, I have not test this case. Because I found newlisp must decalare the function in advance before use it. So I think this case may throw a error.