On page 41 after simplification of the rember function, there is a question-respond that I don’t understand very well.
Q: So why don't we simplify right away? R: Because then a function's structure does not coincide with its argument's structure.
I have tried to figure it out for a couple of days, but I don’t understand what exactly means that question-respond.
Could anyone explain me what Friedman want to show with that question-respond?
Thanks in advance
Up until this point in the chapter, recursions on lists had been written using a
condwith two conditions, where the second condition was in turn anothercond. That’s what the author meant with “the argument structure” (a list) not coinciding with “the function structure” (a two-conditioncond) – because now the function is structured as a singlecondwith three conditions, simpler and easier to understand.