[eeps] New EEP draft: recursive funs

[ok@REDACTED]

Erlang *functions* can have multiple clauses and multiple arguments
and can be recursive.
Erlang *funs* can have multiple clause and multiple arguments
but cannot be recursive.

We can fix that in a very natural way, which does not invalidate
the foundations of Erlang memory management, and fortuitously
makes hot loading safer in the presence of funs, even if you do
not use recursive ones.

This doesn't solve all known problems, and in particular,
doesn't solve the problem of mutually recursive funs, but I
don't expect a solution to that to arrive short of a radical
redesign of the whole language (which Joe is thinking about,
bless him).

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: eep-recfuns.txt
URL: <http://erlang.org/pipermail/eeps/attachments/20110527/27925329/attachment.txt>