[REBOL] Re: RFC: Cross-language benchmark proposal
From: jan:skibinski:sympatico:ca at: 7-Nov-2002 16:30
Hi Joel,
> ... AFAIAC *any* solution based on "transformation" of the standard
> algorithm would go in the "custom" category.
>
I do not mind such classification and I do not particularly care
that much about it. You are the boss in this project, so go
ahead, set the rules and I will comply. :-)
I was just fiddling with something else and it suddenly appeared
to me that I could reuse it in Ackerman. I'll post that little
gadget separately.
However I do not understand your quotation marks around my
'transformation word.:-)
A technique of program transformation is considered to be
a good thing, since it quite often offers a refreshing view.
As long as two things are equal they are "referentially transparent".
This is what Haskell is all about (aside from the laziness): you can
always substitute LHS by RHS _everywhere_ in your program
and you do not have to worry about side effects and changes
to semantics. I took great care to comply with this principle
in the example posted.
And here is a fine line: if a compiler did exactly what I have done
you would not complain, would you?
:-)
All the best,
Jan