[mercury-users] Writing efficient Mercury

Gustavo A. Ospina gos at info.fundp.ac.be
Tue Nov 9 01:09:20 AEDT 1999


At 20:17 08/11/99 +1100, Robert Ernst Johann JESCHOFNIK wrote:
>Hi.
>
>If someone has the time, I think it could be a good idea to put a page up
>in the "Documentation" section of the website that discusses strategies
>for writing efficient code. What to look for, and how to rework pieces of
>code to use less memory.
>I remember Ralph briefly commented on this recently after his performance
>test, but it would be nice to have a more thorough discussion, hopefully
>with examples.

I agree. I think it could be useful to discuss programming idioms and to
propose transformation mechanims to become the code more efficient. And I
would like to make part in these discussions.

At this moment, I'm starting a study of declarative programming in Mercury
with IO. As is known, IO programing imposes the constraint of total
determinism and I want to obtain programming alternatives differents of the
modes 'commited choice' (main goal: a tool). There, it could be important
to transform the code, making it deterministic but preserving the semantics
(mainly the soundness property).

In a practical point of view, Mercury gives (and will give more), as all
the useful languages, many ways to solve a problem. It would be nice to
discuss, compare and document them.

I would gather all the information in this discussion to make the
corresponding documentation and if it is adequate, publish it in the web.

>I know that at least I could make good use of it. :)

Me too. Mainly for learning since I'm not a "Mercury expert" but I like it
so much.

Best regards.

+ Gustavo.

P.D. Please excuse me for my poor english.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list