[Shootout-list] Reboot

[skaller]

On Fri, 2005-07-29 at 03:33 +0100, Jon Harrop wrote:

> > Neither has a Debian package.
> 
> MLton has a Debian package.

I stand corrected! Of course, I actually downloaded it
on my sid-chroot so I should have remmebered, but
I can't run it on on my box, it doesn't supprt amd64 yet.

> > At the moment on amd64, it is FASTER than ANY other
> > translator on Ackermann, and as fast as the others
> > on the i386, and for takfp.
> 
> I think you may have over-optimised Ack. ;-)

What do you mean by that? There is no special support
for Ackermann's function: all the optimisations are
general. I actually do have a more specialised secret
optimisation up my sleeve <g> which applies to a restricted
class of functions which will make Felix run Ack even
faster but it isn't implemented yet. Plus there are
three other general optimisations that aren't done yet.

Note that one of the points of systems like Felix and MLton
is that they're whole program analysers: the point of that
is to do high level optimisations, so it isn't clear
what you mean by 'over-optimised'.

To be honest I do NOT understand why it runs faster than
gcc on the amd64, but the same on the i386, when the one
trick I am using over plain C code should only apply
on the i386: initial measurements showed an improvement
on the i386 but more rigorous testing seems to show
less impact.

-- 
John Skaller <skaller at users dot sourceforge dot net>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
Url : http://lists.alioth.debian.org/pipermail/shootout-list/attachments/20050729/01b77116/attachment.pgp