[mercury-users] Mercury in academic teaching?

[Peter Schachte]

On Wed, Oct 11, 2006 at 12:46:45PM +1000, Jonathan Morgan wrote:
> I'm quite
> happy with the approach of Mercury, that (generally) optimisations
> should be done by the compiler, not the user.

Mercury does that at a low level, through it's optimized execution
model and various standard and non-standard compiler optimizations.
But, AFAIK (correct me if I'm wrong), these optimizations only improve
the constant factors -- significantly, but still only constant
factors.  The user must still optimize the code.  The compiler that
takes in a high-level (inefficient) specification and turns out
optimized executables is still a very long way off.  Maybe it always
will be.

-- 
Peter Schachte              Fools ignore complexity. Pragmatists suffer it.
schachte at cs.mu.OZ.AU        Some can avoid it. Geniuses remove it.
www.cs.mu.oz.au/~schachte/      -- Alan Perlis 
Phone: +61 3 8344 1338      
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------