Treating a recursive call as a functional abstraction has been called a [...].
Answer
recursive leap of faith
Tags
#python #sicp
Question
Treating a recursive call as a functional abstraction has been called a [...].
Answer
?
Tags
#python #sicp
Question
Treating a recursive call as a functional abstraction has been called a [...].
Answer
recursive leap of faith
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open it Treating a
recursive call as a functional abstraction has been called a recursive leap
of faith. We define a function in terms of itself, but simply trust that the
simpler cases will work correctly when verifying the correctness of the
function.
Original toplevel document
1.7 Recursive Functions putation, it is often
clearer to think about recursive calls as functional abstractions. That is, we
should not care about how fact(n-1) is implemented in the body of fact ;
we should simply trust that it computes the factorial of n-1 . <span>Treating a
recursive call as a functional abstraction has been called a recursive leap
of faith. We define a function in terms of itself, but simply trust that the
simpler cases will work correctly when verifying the correctness of the
function. In this example, we trust that fact(n-1) will correctly compute
(n-1)! ; we must only check that n! is computed correctly if this
assumption holds. In this way, verifying the corre
Summary
status
not learned
measured difficulty
37% [default]
last interval [days]
repetition number in this series
0
memorised on
scheduled repetition
scheduled repetition interval
last repetition or drill
Details
No repetitions
Discussion
Do you want to join discussion? Click here to log in or create user.