[mercury-users] Mercury in academic teaching?

[Nicholas Nethercote]

On Mon, 9 Oct 2006, Jonathan Morgan wrote:

>> In Prolog, the first definition would have compiled and run just fine,
>> although it would leave a useless choicepoint.  Later in the semester,
>> we explain efficiency concerns and how to get rid of unnecessary
>> choicepoints, but in Mercury it has to be explained just to get code
>> to compile.  And in many cases, they can get away without fixing it
>> at all in Prolog (it is just performance, after all).
>
> Think like a computer scientist - so long as we get the same
> asymptotic efficiency, who cares about these minor constant factor
> differences?

Almost everybody who isn't just coding for a class.

Nick
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------