erlang:is_pure(M,F,Arity)

Patrik Winroth <>
Tue Dec 18 07:54:20 CET 2001


Den 17 Dec 2001 skrev Richard Carlsson:

> 
> On Mon, 17 Dec 2001, Ulf Wiger wrote:
> 
> > It struck me that most pure functions could probably be allowed -
> > and it also struck me that the compiler could probably figure out
> > if a function's purity can be guaranteed (= it does not call
> > functions in other modules, or use any built-in functions that
> > have side-effects).
> 
> It could, and it would not be very difficult. The corresponding
> information about BIFs can be found in the (undocumented) file
> lib/compiler/src/erl_bifs.erl.

I guess this is an interesting property if one would like to have a very "sandboxable" language, e.g. for execution in browsers, embedded in html or for web services.

.NET?? .GNU??? no! .erl !!! :-)


/Patrik.



More information about the erlang-questions mailing list