[identity profile] compilerbitch.livejournal.com 2004-12-15 08:11 am (UTC)(link)
Yerrrrrsss, but it's pushing it a bit to call that a loop!

Actually I agonised over the punchline for quite a while, and decided to go for the version I used because it was the funniest, even though I felt I should have been a bit more rigorous with Tim's definition.

I have plans for a new character, Yvonne, for a future cartoon. I think she will get on with Tim rather well. She'll definitely be able to bring something that's been missing in his life. If you see what I mean...

[identity profile] ashley-y.livejournal.com 2004-12-15 08:25 am (UTC)(link)
I'm sure she'll be a fixture in his life.

[identity profile] compilerbitch.livejournal.com 2004-12-15 08:43 am (UTC)(link)
Hee hee.

[identity profile] chard.livejournal.com 2004-12-15 09:30 am (UTC)(link)
Yerrrrrsss, but it's pushing it a bit to call that a loop!


Oh, I don' t know, it has all the attributes of a loop like for item in list or even node = list; while(node != NULL) { f(node); node = node->next; } or anything which "loops" over a data structure. I don't know about you but I hardly ever write any other kind of loop. The only thing this kind of programming can't capture is indefinite loops, but who writes those except in servers? Oh, and GUI apps with event streams. Hmmm…



I don't know if I should admit this, but I spent many days (spread over several years) translating commonplace programs into lambda-2 just to show it could be done. The damaging effects are with me even now.



She'll definitely be able to bring something that's been missing in his life. If you see what I mean...


But I'll bet she's a bit paradoxical ;-)

[identity profile] chard.livejournal.com 2004-12-15 03:47 pm (UTC)(link)

Funnily enough, on my walk home I was trying to think of how to represent this as a comic strip. In most languages the loop is the active bit, and the data structure is passive. So it's like having a creature (perhaps a fluffy!) running over the data structure and applying the function/loop body to each part of it. But in lambda-2 a data structure is the active thing that applies a function over itself, so I imagined a fluffy who applies the function to himself and then passes it on to his friends. In this case he's holding hands with one other fluffy and the function is a hula-hoop that turns him from from a fluffy into something else when he steps through. Then I remembered that fluffies don't have hands.



Have you read "Tales of the Beanworld" by Larry Marder?