Re: [stack] recursion is too hard

On Mar 9, 2009, at 6:06 PM, William Tanksley wrote:

> John Nowak wrote:
>
>>    map(F) = ifte(null?, id, uncons spread(F, map(F)) cons)
>>
>> Can you spot the problem? Is there a *general* method for avoiding  
>> it?
>
> I hope you get a clueful reply. I'll speak for all whose answer is  
> "no"
> to say, "no, I don't spot the problem."

I'll give a (big) hint then. Here's the fixed version:

    map(F) = ifte(null?, id, uncons swap spread(map(F), F) swap cons)

- John