Erlang article #1 on programming.reddit.com
Fri Aug 18 16:08:08 CEST 2006
-------- Original Message --------
From: "Christian S" <chsu79@REDACTED>
Apparently from: owner-erlang-questions@REDACTED
To: erlangquestions <erlang-questions@REDACTED>
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.
More information about the erlang-questions