Erlang article #1 on

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

-------- Original Message --------
From: "Christian S" <>
Apparently from: 
To: erlangquestions <>
Subject: Re: Erlang article #1 on
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 mailing list