<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<body bgcolor="#ffffff" text="#000000">
Ulf Wiger (AL/EAB) wrote:
<pre wrap="">Thomas Johnsson
<pre wrap="">What, you can do function equality in Erlang??
I hadn't realized....
You mean I actually have to verify my
suggestions before posting them? ;)
I will admit that I just plainly assumed
that it would work. My original suggestion
was to use erlang:fun_info(F) as a key.
<pre wrap="">That's highly dubious ... When are two function
equal according the the Erlang implementation?
My point was that it *shouldn't* work (:-)<br>
The traditional view is that two function are equal iff for same
arguments they return the same result. <br>
Ie undecidable since the number of possible arguments is infinite.<br>
In my opinion, in Erlang an attempt to compare two functions should
cause a run time error.<br>