[Shootout-list] Missing programs and score calculation (Was:

skaller skaller at users.sourceforge.net
Sat Sep 17 04:48:45 UTC 2005


On Sat, 2005-09-17 at 00:54 +0100, Jon Harrop wrote:
> On Saturday 17 September 2005 00:40, Isaac Gouy wrote:
> > The Felix mailing-list can be found at this URL
> > http://sourceforge.net/mailarchive/forum.php?forum=felix-language
> 
> Skaller's arguments are not Felix specific. For example, they are equally 
> applicable to Stalin-compiled Scheme. The Stalin implementation of my ray 
> tracer is one the fastest implementations, competing with g++ and 
> MLton-compiled SML.

Another interesting project is CCured and it's derivatives.
This is an Ocaml program which parses a C program, and
does extensive analysis, looking for errors. However,
it is a mainly intended as an architecture for analysing
C code with high level tools, and should eventually make
it possible to generate equivalent, error checked,
and much faster C code -- making up for the lack
of high level optimisation in most C compilers.

For all its warts, gcc has a well documented if somewhat
quirky set of low level interface features such as
__attribute__, inline assembler, use of machine registers
as variables, control of parameter passing, etc, which
make it possible for other compilers to generate faster
code than it itself can, whilst retaining access to 
the large body of compiled libraries on typical
systems. Fergus Henderson (designer of Mercury) refered
to this as 'using gcc as a portable assembler'.


-- 
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/20050917/46509bb0/attachment.pgp


More information about the Shootout-list mailing list