On Tue, 2007-09-25 at 13:27 -0400, Mike Lin wrote:
> On Sep 25, 7:11 am, Alex Mikhalev <a.mikha...@cranfield.ac.uk> wrote:

> For numerical computing, I wish ocamlopt would do at least basic loop
> optimizations, like hoisting invariant values -- this type of stuff is
> easily done manually, but often at the expense of code readability.

Gcc does this quite well I think. However in a higher level 
procedural language (like Ocaml and Felix) it is very hard
to get right and potentially very expensive.


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net