30 Jun
2009
30 Jun
'09
4:16 p.m.
On Tue, Jun 30, 2009 at 07:57:07PM +0530, Hemanth Kapila wrote:
Can't we come up with something like this staying within the limits of purity?
No, because that would break referential transparency :(. I.e., it would be possible to distinguish things that should be "equal", such as '3' from '1+2'. -- Felipe.