Erlang article #1 on programming.reddit.com

tty <>
Fri Aug 18 16:08:08 CEST 2006


-------- Original Message --------
From: "Christian S" <>
Apparently from: 
To: erlangquestions <>
Subject: Re: Erlang article #1 on programming.reddit.com
Date: Fri, 18 Aug 2006 09:44:45 +0200

> I'm in the camp that doesnt limit the meaning of "loop" to only be
> imperative code with destructive assignment. I think a recursive
> function is as much of a loop as anything else.  I forget who, but
> havent someone clever in the ways of computer science proved that
> imperative and recursive code are equal in computability?

I believe a proof can be found in "Foundations of Computer Science" by Aho and Ullman. 

At the very least a systematic transformation is decribed in the book from loops to recursion and back.

It has been a long time since I read it.

Regards

t



More information about the erlang-questions mailing list