Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Help me find this pdf
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-10-20 (01:13)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Re: Help me find this pdf

On Sat, 2007-10-20 at 00:10 +0100, Jon Harrop wrote:

> > 6. Nevertheless, evaluation is fully deterministic, thus it certainly
> > cannot cause Heisenbugs, neither semantically nor performance-wise.
> Perhaps I've missed something but surely evaluation order can alter asymptotic 
> complexity? If so, moving from one compiler to another can change the 
> asymptotic complexity of your program?

There's no need to do anything so radical. 
GHC uses the old fashioned compile/link technology.

All you need to do is copy and paste a file into another
and use the *same* compiler to gain speed improvements.

IMHO its about time this rubbish was eliminated.
Static linkers are a legacy technology from the '70s.

John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: